Sprawdzenie tautologii poprzez budowę tablicy prawdy

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
djdeaka
Użytkownik
Użytkownik
Posty: 2
Rejestracja: 13 gru 2008, o 11:47
Płeć: Mężczyzna
Lokalizacja: Kraków

Sprawdzenie tautologii poprzez budowę tablicy prawdy

Post autor: djdeaka »

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?
Awatar użytkownika
smigol
Użytkownik
Użytkownik
Posty: 3454
Rejestracja: 20 paź 2007, o 23:10
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 89 razy
Pomógł: 353 razy

Sprawdzenie tautologii poprzez budowę tablicy prawdy

Post autor: smigol »

Nie wychwyciłem żadnego błędu

Raczej jest dobrze.
ODPOWIEDZ