Mamy dane wyrażenie:
\(\displaystyle{ [[(p r) (q s)] (r s)] [[(p q) (q r)] ( p s)]}\)
Sprawdzić czy powyższa formuła zdaniowa jest tautologią.
Budujemy "tablicę prawdy" (pozwole sobie na zrzut ekranu, gdyż tabela w LATEX-ie mogłaby zając zbyt dużo miejsca)
tiny.pl/ 6559
(link trzeba przekleic do przeglądarki pozbywając się spacji, gdyż nie wolno mi zamieszczać linków)
Wynika z tego, że powyższa formuła zdaniowa nie jest tautologią.
No i teraz pytanie: CZY POWYŻSZA TABELA ZOSTAŁA SKONSTRUOWANA PRAWIDŁOWO?