To tylko jedna z 2 stron tej notatki. Zaloguj się aby zobaczyć ten dokument.
Zobacz
całą notatkę
WYKŁAD 4 Dowód nie wprost (p - q) ^ (q - r) - (p - r) prawo sylogizmu hipotetycznego (p - q) ^ (q - r) - (p - r) v v v v v v f f v f f
Sprzeczność Jeżeli Jan jest ekonomistą i Jan jest prawnikiem, to nieprawdą jest, że jeżeli jest ekonomistą, to nie jest prawnikiem. (p ^ q) - ~ (p - ~ q) v v v f f v v f v
Sprzeczność Dowód nie wprost polega na założeniu, ze dana formuła jest fałszywa. Możemy przyjąć, że nie uda się nam udowodnić, że jest f (fałsz), gdy dojdziemy do sprzeczności ((p - q) ^ ~ q) - ~ p v v f v v
f f f v
Sprzeczność Ten dowód prowadzi do sprzeczności, więc jest to tautologia, bo ona zawsze jest prawdziwa; jest to modud tolendo tollens
Prawo transpozycji prostej (p - q) - (~ q - ~ p) v v f f v f f f v
Sprzeczność Jest to tautologia
(p - q) - (~ p - ~ q) f
v
v f v
f
f
f
v
Nie ma sprzeczności, więc nie jest to tautologia ((p ^ q) - r) - p - (q - r) v v v v f f v f v f f Sprzeczność Jest to tautologia; prawo eksportacji
... zobacz całą notatkę
Komentarze użytkowników (0)