Tautologie

Metoda zero-jedynkowa polega na wypisaniu wszystkich wartości logicznych, jakie mogą zachodzić dla danego zdania oraz ocenieniu wartości logicznej zdania, które tworzą. Tautologia, inaczej prawo logiczne, jest to zdanie logiczne, które jest zawsze prawdziwe. A zatem, jeśli coś ma być tautologią, to w każdym przypadku takie zdanie powinno być przyjmować wartość: 1. 

Najwygodniej jest wykonać takie zadanie przy pomocy tabelki.

a) prawo kontrapozycji, czyli (p => q) <=> (~q => ~p).

Zaczynamy od wypisania wszystkich możliwości dla zdań p oraz q. Mogą przyjmować wartości: 0 oraz 1 w czterech różnych kombinacjach (dwie pierwsze kolumny poniższej tabeli). Następnie wypisujemy wartość logiczną każdej pary dla zdań stojących po jednej i drugiej stronie znaku równoważności, a zatem p => q oraz ~q => ~p. Ostatecznie porównujemy te dwie kolumny (zaznaczone na łososiowo) i widzimy, że mają w każdym wierszu takie same wartości. Ostatnia kolumna jest właśnie porównaniem tych dwóch wcześniejszych wartości logicznych.

Odp.: Jest to tautologia.

b) prawo negacji implikacji, czyli .

Odp.: To jest tautologia.

c) prawo rozdzielności koniunkcji względem alternatywy, czyli .

Odp.: To jest tautologia.

d) prawo rozdzielności alternatywy względem koniunkcji, czyli .

Odp.: To jest tautologia.