Tautologia Patryk: Sprawdź czy jest tautologią wyrażenie: a) w=[(p⇔q)⇔r]⇔[q⇔(p⇔r)] b) w=[(p∧q)⇒]⇒[p∧(q⇒r)] c) w=(p⇒q)⇒[(r∨p)⇒(r∨q)]

daras: sprawdziłem

Patryk: A powiedziałbyś jak to sprawdzić?

Braun: https://matematykaszkolna.pl/strona/1644.html

Patryk: Pierwszy podpunkt zrobilem i wyszło, że jest, a kolejne dwa mógłby ktoś rozpisać?

Patryk: Bo w tym linku co podałeś jest tylko p i q a w tych moich przykładach jest jeszcze r

Patryk: czy podpunkt b jest poprawny? Czy mogą być dwa znaczki ⇒ tak obok siebie?

Qulka: w b) jest błąd