Udowodnij

Zbiory, relacje, logika
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
LuckyLuck
Często tu bywam
Często tu bywam
Posty: 217
Rejestracja: 03 lut 2019, 16:42
Podziękowania: 96 razy
Płeć:

Udowodnij

Post autor: LuckyLuck »

Udowodnij nastepujace rownowaznosci i implikacje lub wykaz że są one nieprawdziwe \(¬(P \to Q) \So P\)
Galen
Guru
Guru
Posty: 18457
Rejestracja: 17 sie 2008, 15:23
Podziękowania: 4 razy
Otrzymane podziękowania: 9161 razy

Post autor: Galen »

\(p\;\;\;\;\;q\;\;\;\;\;p \to q\;\;\;\;\;nie(p \to q)\;\;\;\;\;\;nie(p \to q) \So p\)
\(0\;\;\;\;\;0\;\;\;\;\;\;\;\;1\;\;\;\;\;\;\;\;\;0\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;0 \So 0\;\;=\;\;1\)
\(0\;\;\;\;\;1\;\;\;\;\;\;\;\;1\;\;\;\;\;\;\;\;\;0\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;0\So 0\;\;=\;\;1\)
\(1\;\;\;\;\;0\;\;\;\;\;\;\;\;0\;\;\;\;\;\;\;\;\;1\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;1\So 1\;\;=\;\;1\)
\(1\;\;\;\;\;1\;\;\;\;\;\;\;\;1\;\;\;\;\;\;\;\;\;0\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;0\So 1\;\;=\;\;1\)
Implikacja jest prawdziwa.
Wszystko jest trudne,nim stanie się proste.
ODPOWIEDZ