Logika zaprzeczenie implikacji i równoważności

gosiaooo4 · Post autor: **gosiaooo4** » 3 paź 2005, o 20:41

dzisaj na prace domowa dostlam strasznie dla mnie trudne zadanie :/ pomozcie mam napisac zaprzeczenie implikacji i rownowaznosci w systemie zero jedynkowym ja wogole nie wiem o co lazi wiec prosze o czytelne odpowiedzi

Tomasz Rużycki · Post autor: **Tomasz Rużycki** » 5 paź 2005, o 19:35

\(\displaystyle{ \sim(p\Rightarrow q)\Longleftrightarrow p\wedge q}\)
\(\displaystyle{ (p\Leftrightarrow q) \Longleftrightarrow [(p\Rightarrow q) (q\Rightarrow p)]}\), skorzystaj z tego, co napisałem wyżej.

Pozdrawiam,
--
Tomasz Rużycki