Matematyka.pl

Ocen poprawność rozumowania.Jeżeli wiesz, że umarłeś, to umarłeś i jeżeli wiesz, że umarłeś, to nie umarłeś, więc nie wiesz, że umarłeś. To zdanie wydaje się byc prawdziwe ale juz sam niewiem

Zadanie sprowadza się do sprawdzenia, czy wyrażenie \(\displaystyle{ [(p q) (p q)] (\neg p)}\)jest tautologią, gdzie p to zdanie "wiesz, że umarłeś", a q oznacza "umarłeś". Łatwo sprawdzić, że wyrażenie tautologią nie jest.

Tristan pisze: Łatwo sprawdzić, że wyrażenie tautologią nie jest.

Chodzi o wyrażenie: \(\displaystyle{ [(p q) (p q)] (\neg p)}\) które oczywiście jest tautologią.

Natomiast z niematematycznego punktu widzenia ocena poprawności rozumowania to sprawa teologiczna - jest ono poprawne przy założeniu, że po śmierci nic nie ma (czy też raczej: oznacza ona koniec świadomości).

Q.

Oczywiście, mój błąd. To tautologia jest. Zapomniałem o wnioskach jakie się wyciąga, gdy zakłada się, że dane wyrażenie jest fałszywe i dochodzi się do sprzeczności

wielkie dzięki za pomoc ) pozdrawiam