jak sie za to zabrac? mr white: Sprawdź, czy następująca formuła jest prawem rachunku zdań: [(p ⇒ q) ∧ (q ˅ p)] ⇒ (p ∨ q)

chichi: Inaczej, sprawdzić czy podana formuła jest tautologią, należałoby zrobić tabelkę i to sprawdzić

mr white: a jak się za to zabrać? z tego co widzę to nie jest

Eta:

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

chichi: @Eta dlaczego w 2 wierszu w 5 kolumnie (1)?

Eta: Pomyłkowo wpisałam

chichi: @Eta Ważne, że wynik się zgadza hah

Eta: