Udowodnij
: 13 mar 2019, 16:19
Udowodnij nastepujace rownowaznosci i implikacje lub wykaz że są one nieprawdziwe \(¬(P \to Q) \So P\)
\(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.