jak sie za to zabrac?
mr white: Sprawdź, czy następująca formuła jest prawem rachunku zdań:
[(p ⇒ q) ∧ (q ˅ p)] ⇒ (p ∨ q)
17 lis 20:03
chichi: Inaczej, sprawdzić czy podana formuła jest tautologią, należałoby zrobić tabelkę i to sprawdzić
17 lis 20:07
mr white: a jak się za to zabrać? z tego co widzę to nie jest
17 lis 20:10
Eta:
17 lis 20:25
chichi:
Dana formuła jest tautologią. ponieważ w ostatniej kolumnie otrzymaliśmy same prawdy. D można
było pominąć, ale rozpisałem Ci, bo przecież (p v q) ⇔ (q v p) − prawo przemienności
alternatywy, czyli D=B
17 lis 20:25
chichi: @
Eta dlaczego w 2 wierszu w 5 kolumnie (1)?
17 lis 20:27
Eta:
Pomyłkowo wpisałam
17 lis 20:27
chichi: @
Eta Ważne, że wynik się zgadza hah
17 lis 20:32
Eta:
17 lis 20:41