→ Prawa Logiczne → Start Learning / Download MP3 Flashcards

start learning

Question		Answer
Prawo logiczne start learning		Wyrażenie prawidłowo zbudowane zawierające zdanie p, q, r..., po podstawieniu za które zer i jedynek (wartości logicznych) i po redukcji zgodnie z tabelkami wartości logicznych w każdym przypadku otrzymujemy (1)
I prawo de Morgana o zaprzeczeniu koniunkcji zdań start learning		Zaprzeczenie koniunkcji zdań jest równoważne alternatywie zaprzeczeń tych zdań. [~(p ^ q)] <==> [(~p) v (~q)].
II prawo de Morgana o zaprzeczeniu alternatywy zdań start learning		Zaprzeczenie alternatywy zdań jest równoważne koniunkcji [~(p v q)] <==> [(~p) ^ (~q)]
III prawo o zaprzeczeniu implikacji zdań start learning		Zaprzeczenie implikacji zdań jest równoważne koniunkcji poprzednika i zaprzeczenia następnika. [~(p ==> q)] <==> [p ^ (~q)]
IV prawo o zaprzeczeniu równoważności zdań start learning		Zaprzeczeniem równoważności dwóch zdań jest alternatywa wykluczająca typ zdań [~(p <==>q)] <==> [p v q]
Prawo wyłączonego środka start learning		p v ~p
Prawo podwójnego przeczenia start learning		~(~p) <==> p
Prawo sprzeczności start learning		~(p ^ ~p)
Prawo odrywania start learning		(p ^ (p ==> q)) ==> q
Prawo transpozycji start learning		(p ==> q) <==> (~q ==> ~p)
Prawo zaprzeczenia implikacji start learning		(p ==> ~q) <==> (~q ==> ~p)

Prawa logiczne