Udowodnij

Zbiory, relacje, logika
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
LuckyLuck
Rozkręcam się
Rozkręcam się
Posty: 65
Rejestracja: 03 lut 2019, 17:42
Podziękowania: 25 razy
Płeć:

Udowodnij

Post autor: LuckyLuck » 13 mar 2019, 17:19

Udowodnij nastepujace rownowaznosci i implikacje lub wykaz że są one nieprawdziwe \(¬(P \to Q) \So P\)

Galen
Guru
Guru
Posty: 18184
Rejestracja: 17 sie 2008, 15:23
Podziękowania: 1 raz
Otrzymane podziękowania: 9030 razy

Post autor: Galen » 13 mar 2019, 20:10

\(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.