Tautologie logika, metoda nie wprost ratunku! Motyl: Mam do obliczenia tautologię metodą nie wprost i za nic nie mogę tego wyliczyć. Proszę o pomoc w zrozumieniu. [(p⋀q)⇒(q⋀r)]⇒{p⇒[q⇒(∼q⋁r)]}

PW: Studencie! Co to znaczy "obliczyć tautologię"? Metoda "nie wprost" to zastosowanie faktu, że implikacje a⇒b i ∼b⇒∼a są równoważne. Próbuj więc napisać zaprzeczenie następnika zadanej implikacji i zaprzeczenie poprzednika