Edytujesz „Logika”
Z Nonsensopedii, polskiej encyklopedii humoru
Uwaga: Nie jesteś zalogowany. Jeśli wykonasz jakąkolwiek zmianę, Twój adres IP będzie widoczny publicznie. Jeśli zalogujesz się lub utworzysz konto, Twoje zmiany zostaną przypisane do konta, wraz z innymi korzyściami.
Ta edycja może zostać anulowana. Porównaj ukazane poniżej różnice między wersjami, a następnie zapisz zmiany.
Aktualna wersja | Twój tekst | ||
Linia 36: | Linia 36: | ||
Sprawdźmy czy to zdanie jest prawdziwe: <math> p \implies \neg q \land r \lor q \implies \neg ( q \lor p ) <=> p \land \neg r \lor q </math>. Przerażające? Oczywiście, że tak! Odpowiednie zdanie będzie wyglądać następująco: ''Jeśli koń jest ptakiem, to ja nie jestem idiotą i jeśli władza kłamie lub ja jestem idiotą, to ja nie jestem idiotą lub koń nie jest ptakiem, wtedy i tylko wtedy, gdy koń jest ptakiem i władza nie kłamie lub ja jestem idiotą''. Czy to zdanie jest prawdziwe? Oczywiście, że nie, a to za sprawą błędnego założenia, że ''władza nie kłamie''. |
Sprawdźmy czy to zdanie jest prawdziwe: <math> p \implies \neg q \land r \lor q \implies \neg ( q \lor p ) <=> p \land \neg r \lor q </math>. Przerażające? Oczywiście, że tak! Odpowiednie zdanie będzie wyglądać następująco: ''Jeśli koń jest ptakiem, to ja nie jestem idiotą i jeśli władza kłamie lub ja jestem idiotą, to ja nie jestem idiotą lub koń nie jest ptakiem, wtedy i tylko wtedy, gdy koń jest ptakiem i władza nie kłamie lub ja jestem idiotą''. Czy to zdanie jest prawdziwe? Oczywiście, że nie, a to za sprawą błędnego założenia, że ''władza nie kłamie''. |
||
Prawami logicznymi można się bawić przez układanie |
Prawami logicznymi można się bawić, przez układanie co raz to większych i głupszych zdań, oraz sprawdzanie wartości logicznej. Niektórych to bawi ([[Matematyk|matematycy]]), niektórych (reszta ludzkości) nie bardzo. Łatwo można się w tym zapętlić, o to przykład, jak '''nie powinno się''' bawić zdaniami logicznymi. |
||
Jeśli; |
Jeśli; |