Tautologia - metoda zero-jedynkowa - Klawesyn: Hej, mam do zrobienia następujący przykład metodą zero−jedynkową: (p −> q) <−> ~(p lub ~q) i mam problem z odczytaniem ~(p lub ~q) . czy to oznacza ~p lub q. Proszę o pomoc w rozwiązaniu bo zupełnie nie wiem jak mam to rozumieć.

ite: Spójrz na prawa de Morgana: zaprzeczeniem alternatywy jest koniunkcja zaprzeczeń.

ite: Najprościej byłoby jeszcze skorzystać z prawa eliminacji implikacji. I to byłby koniec dowodu. Ale jeśli masz zastosować metodę zero−jedynkową, to czy możesz przekształcać którekolwiek z wyrażeń?

Saizou : W metodzie zero−jedynkowej trzeba podstawiać możliwości wszystkich wartościowań i nic nie przekształcać. i uzupełniasz tabelkę

ite: Musisz zrobić tabelę z wartościami 0,1 dla p i dla q, dopisać rubryki: p⇒q, p ∨ ~q, ~(p ∨ ~q) i ostatnią (p⇒q) ⇔ ~(p ∨~q) wpisać wartości do tych rubryk. Wyrażenie nie jest tautologią, w ostatniej rubryce nie będzie samych jedynek.