Witam,
Zadanie, której treść i moje rozwiązanie prześlę dotyczy logiki. Chodzi o wynikanie logiczne. Z dużymi zdaniami nie mam tyle problemów, co z tym. Chodzi o wynikanie.
Zdanie A(zakładamy że wychodzi 1) "Jaś idzie do szkoły wtedy i tylko wtedy,
gdy jest brzydka pogoda i nie ma matematyki." mój zapis to p<->(q i ~r)
Zdanie B(zakładamy, że wychodzi 0) "Albo pogoda jest brzydka, albo jeśli jest matematyka, to Jaś nie idzie do szkoły.". Żeby wyszła prawda w zdaniu A to po wyliczeniu P(z ~p) to zarówno q i ~r muszą być prawdziwe, gdzieś musi być sprzeczność, ale nie chce za cholerę wyjść.
Logika - proste zdanie, duży kłopot.
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
-
- Witam na forum
- Posty: 1
- Rejestracja: 22 cze 2021, 20:26
- Jerry
- Expert
- Posty: 3533
- Rejestracja: 18 maja 2009, 09:23
- Podziękowania: 50 razy
- Otrzymane podziękowania: 1939 razy
Re: Logika - proste zdanie, duży kłopot.
Zdanie \(p\iff(q\wedge\sim r)\) jest prawdziwe, czyli pisząc formalnie, z wykorzystaniem Twoich oznaczeń:robert153pl pisze: ↑22 cze 2021, 20:34 Zdanie A(zakładamy że wychodzi 1) "Jaś idzie do szkoły wtedy i tylko wtedy,
gdy jest brzydka pogoda i nie ma matematyki." mój zapis to p<->(q i ~r)
\(w(p\iff(q\wedge\sim r))=1\iff\left( \begin{cases}w(p)=1\\ w(q\wedge\sim r)=1 \end{cases} \vee\begin{cases}w(p)=0\\ w(q\wedge\sim r)=0 \end{cases}\right)\)
\(w(q\underline{\vee}(r\So\sim p))=0\iff\left( \begin{cases}w(q)=1\\ w(r\So\sim p)=1 \end{cases} \vee\begin{cases}w(q)=0\\ w(r\So\sim p)=0 \end{cases}\right) \)robert153pl pisze: ↑22 cze 2021, 20:34 Zdanie B(zakładamy, że wychodzi 0) "Albo pogoda jest brzydka, albo jeśli jest matematyka, to Jaś nie idzie do szkoły."
gdzie \(a\underline{\vee}b\) oznaczam alternatywę rozłączną (czytaną \(a\) albo \(b\))
Pozdrawiam