Logika Damian#UDM: Sprawdź czy zdanie: [ p → (q → r)] ⇔ [(p → q) → (p → r) ] jest tautologią. Proszę o rozwiązanie i jeśli można to o wytłumaczenie. Dziękuję za pomoc

Mariusz: p⇒q ⇔ ¬p∨q (p ⇔ q) ⇔ (p⇒q)⋀(q⇒p) Spróbuj zamienić to na zdanie zawierające tylko ¬, ∧ , ∨ i sprawdź czy po przekształceniach i zastosowaniu znanych praw rachunku zdań otrzymasz jedynkę

Damian#UDM: Mariusz bardzo dziękuję za szczere chęci i pomoc w naprowadzeniu do rozwiązania zadań, lecz niestety potrzebuję to na teraz i głównie prosiłbym o rozwiązanie Myślę, że gdybym poczytał o tym to bym to ogarnął, bo miałem grubą logikę na dietetyce w 2018 roku, ale czas goni i nie dam rady. Także dziękuję każdej osobie za pomoc i rozwiązania

Qulka: a hasło ... robisz taką tabelkę https://matematykaszkolna.pl/strona/4816.html

Qulka: tak jest tautologią https://prnt.sc/wj43hi

Damian#UDM: Qulka dziękuję za rozwiązanie! Bardzo mi w ten sposób pomogłeś, dziękuję!