logowanie

matematyka » forum » forum zadaniowe - uczelnie wy縮ze » zadanie

Logika, zadanie nr 3299

ostatnie wiadomo艣ci  |  regulamin  |  latex

AutorZadanie / Rozwi膮zanie

geometria
post贸w: 865
2015-03-11 17:07:40

Dana sa zdania p i q takie, ze warunek p$\wedge$q jest konieczny do tego, ze p$\Rightarrow$q. Czy stad wynika, ze p jest prawdziwe? (odp. uzasadnic).

Z tresci zadania wiemy, ze:
(p$\Rightarrow$q)$\Rightarrow$(p$\wedge$q) (to nie jest tautologia)


tumor
post贸w: 8070
2015-03-11 17:16:05

O zdaniu
$(p \Rightarrow q) \Rightarrow (p \wedge q)$ wiemy, 偶e jest prawdziwe, to jest dane w zadaniu.

Wynika艂oby st膮d, 偶e p jest prawdziwe, gdyby NIEMO呕LIWA by艂a sytuacja, 偶e to zdanie jest prawdziwe, a p jest fa艂szywe.
Popatrz zatem na tabelk臋. Rzeczywi艣cie we wszystkich przypadkach, w kt贸rych p=0 (niewa偶ne jakie q) zdanie
$(p \Rightarrow q) \Rightarrow (p \wedge q)$
tak偶e jest fa艂szywe.

Zatem tak, wynika.
(inaczej m贸wi膮c, gdyby p by艂o fa艂szywe, to $p \Rightarrow q$ by艂oby z pewno艣ci膮 prawdziwe, a $p \wedge q$ z pewno艣ci膮 fa艂szywe, czyli $p \wedge q$ nie jest warunkiem koniecznym $p \Rightarrow q$, co przeczy tre艣ci zadania)


geometria
post贸w: 865
2015-03-11 17:28:50

Nie rozumiem tylko dlaczego to zdanie jest prawdziwe.
(jakie slowa w tresci zadania o tym swiadcza?)


tumor
post贸w: 8070
2015-03-11 17:38:25

je艣li zadanie m贸wi, 偶e 艣nieg pada, to znaczy, 偶e zdanie \"艣nieg pada\" jest prawdziwe :)


geometria
post贸w: 865
2015-03-11 18:35:07

Ok.

strony: 1

Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj

© 2019 Mariusz iwi駍ki      o serwisie | kontakt   drukuj