Logika, zadanie nr 3283
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
geometria post贸w: 865 |  2015-03-10 00:22:26Czy prawdziwe jest zdanie: Jezeli z faktu, ze wszystkie boki trojkata ABC sa rowne, wynika, ze wszystkie katy trojkata ABC sa rowne, i trojkat ABC ma nierowne katy, to ma on rowniez nierowne boki. p: wszystkie boki trojkata ABC sa rowne q: wszystkie katy trojkata ABC sa rowne $\neg$p: trojkat ABC ma nierowne boki $\neg$q: trojkat ABC ma nierowne katy To, ktory zapis jest poprawny? 1) (p$\Rightarrow$q$\wedge$$\neg$q)$\Rightarrow$$\neg$p 2) p$\Rightarrow$(q$\wedge$$\neg$q$\Rightarrow$$\neg$p) |
tumor post贸w: 8070 | 2015-03-10 06:16:01 Jezeli( (z faktu, ze wszystkie boki trojkata ABC sa rowne, wynika, ze wszystkie katy trojkata ABC sa rowne), i trojkat ABC ma nierowne katy), to ma on rowniez nierowne boki. $(( p \Rightarrow q )\wedge \neg q) \Rightarrow \neg p$ (Zwracam uwag臋, 偶e pisz膮cy zdanie waln膮艂 przed \"i\" wyra藕nie oddzielaj膮cy przecinek, niezupe艂nie trzymaj膮c si臋 zasad interpunkcji, byle nie spowodowa膰 wieloznacznego odczytania. Implikacje wyra藕nie s膮 dwie, przy tym jedna, ta pierwsza, jest w nawiasie, a druga jest g艂贸wnym sp贸jnikiem ca艂ego zdania, tworzy jego ramy) przy tym uznaje si臋, 偶e najwy偶szy priorytet ma negacja, potem r贸wnorz臋dnie alternatywa i koniunkcja, na ko艅cu r贸wnorz臋dnie implikacja i r贸wnowa偶no艣膰. Zatem powy偶sze mo偶na zapisa膰 tak偶e $( p \Rightarrow q )\wedge \neg q \Rightarrow \neg p$ ------ Tw贸j zapis $( p \Rightarrow q \wedge \neg q) \Rightarrow \neg p$ niestety zgodnie z kolejno艣ci膮 dzia艂a艅 by艂by wykonany $( p \Rightarrow ( q \wedge \neg q)) \Rightarrow \neg p$ co nie odpowiada zdaniu (ten przecinek!). Z drugiej strony formu艂a ta jest 艂adn膮 tautologi膮. :) Natomiast zapis ostatni nie odpowiada stylowi wypowiedzi. --- No ewentualnie przecinek przed \"i\" m贸g艂 celowy nie by膰, wtedy autor nie umie po prostu pisa膰 :P |
geometria post贸w: 865 | 2015-03-11 16:02:23 Dziekuje. |
marciap_132308 post贸w: 22 | 2016-10-12 11:10:56 Mam pytanie, a jakby wygl膮da艂 zapis dla zdania: Jezeli z faktu, ze wszystkie boki trojkata ABC sa rowne, wynika, ze wszystkie katy trojkata ABC sa rowne I WIADOMO, 呕E (bez przecinka przed i) trojkat ABC ma nierowne katy, to ma on rowniez nierowne boki. prosz臋 o odpowied藕 i z g贸ry dzi臋kuj臋 Wiadomo艣膰 by艂a modyfikowana 2016-10-12 11:11:32 przez marciap_132308 |
tumor post贸w: 8070 | 2016-10-12 11:17:45 W KRZ b臋dzie to pierwszy zapis z polecenia zadania powy偶ej. Mo偶na jeszcze doda膰 nawias przy pierwszej implikacji, bowiem nie na ka偶dym wyk艂adzie wprowadza si臋 kolejno艣膰 wykonywania dzia艂a艅. Wiadomo艣膰 by艂a modyfikowana 2016-10-12 12:36:02 przez tumor |
marciap_132308 post贸w: 22 | 2016-10-12 11:53:29 [ Dzi臋kuj臋 bardzo, czyli poprawny zapis dla \"mojego\" zdania to: ((p$\Rightarrow$q) $\wedge$$\neg$q)$\Rightarrow$$\neg$p ? |
tumor post贸w: 8070 | 2016-10-12 12:08:26 Tak, jest to poprawny zapis w KRZ tego zdania. |
marciap_132308 post贸w: 22 | 2016-10-12 12:31:51 Jeszcze ostatnie pytanie. A taki zapis (p$\Rightarrow$(q$\wedge$$\neg$q))$\Rightarrow$$\neg$p w KRZ \"mojego zdania\" jest niepoprawny? |
tumor post贸w: 8070 | 2016-10-12 12:36:45 na to, 偶e nie odpowiada on zdaniu wskazuje \"wiadomo, 偶e\", bo umieszcza $\neg q$ poza pierwsz膮 implikacj膮 Wiadomo艣膰 by艂a modyfikowana 2016-10-12 20:06:25 przez tumor |
marciap_132308 post贸w: 22 | 2016-10-12 18:39:02 Dzi臋kuj臋 za rozwianie wszystkich moich w膮tpliwo艣ci |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj