Logik Baloooo: Sprawdź czy zdanie jest tauntologia. [(p=q)⋀(q⇒p)]⇒p∪q

PW: Ani to zdanie, ani tauntologia.

Baloooo: Mam takie zadanie. Mam napisać taka odpowiedź

PW: Masz się skupić na tym co robisz. Najpierw sprawdź co to jest tautologia "w ogóle", a co to zdanie. Czy to co napisałeś jest zdaniem?

Baloooo: Eee, dostałem takie zadanie na wykładzie, nie rozumiem tego więc napisałem tutaj w celu uzyskania pomocy.

Lech: Musi byc jakis "znak" miedzy nawiasami ( ....)(...) ? ? Popraw tresc zadania ! !