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 1: Linia 1:
{{cytat|Co ma baba do moralności, jak dziad też ma skarpety.|[[Mikołaj Rej]] '''logicznie'''}}
<code>''Co ma baba do moralności, jak dziad też ma skarpety.''</code>
:<code>[[Mikołaj Rej]] '''logicznie'''</code>


'''Logika''' – sztuka dywagowania czy <math>p</math> to <math>q</math> (i czy <math>\neg q</math> to <math>\neg p</math>). Paradygmaty logiki są orężem [[Filozofia|filozofii]] i [[Matematyka|matematyki]]. Dzięki niej każdy [[filozof]], po zapuszczeniu brody, może, obserwując pasącą się [[Krowa|krowę]] i pilnując jej, żeby nie wlazła w kapustę, dowodzić rozmaitych twierdzeń. Dzięki logice może przygotować się do wykładów, w których może pociągnąć wątek na mnóstwo sposobów, poniżej przedstawiono wybrane:
'''Logika''' – sztuka dywagowania czy <math>p</math> to <math>q</math> (i czy <math>\neg q</math> to <math>\neg p</math>). Paradygmaty logiki są orężem [[Filozofia|filozofii]] i [[Matematyka|matematyki]]. Dzięki niej każdy [[filozof]], po zapuszczeniu brody, może, obserwując pasącą się [[Krowa|krowę]] i pilnując jej, żeby nie wlazła w kapustę, dowodzić rozmaitych twierdzeń. Dzięki logice może przygotować się do wykładów, w których może pociągnąć wątek na mnóstwo sposobów, poniżej przedstawiono wybrane:
Linia 20: Linia 21:
{{Główny artykuł|[[Metody dowodzenia twierdzeń]]}}
{{Główny artykuł|[[Metody dowodzenia twierdzeń]]}}


Największym osiągnięciem twórców logiki jest powołanie do życia tzw. [[logika sowiecka|logiki sowieckiej]] (''logika sowiecka'' jest podstawowym narzędziem [[Nauka radziecka|nauki radzieckiej]].) Logika sama w sobie jest absolutnie pewną metodą dochodzenia do niepewnych wniosków. We wszystkich odmianach logiki wyróżniamy dwa jej rodzaje: logikę [[kobieta|kobiecą]] oraz logikę [[mężczyzna|męską]]. Ta druga jest bardziej logiczna, ale ta pierwsza ma bardzo twarde argumenty. Jak zauważył już [[William Ockham]] „tam gdzie kończy się logika zaczyna się [[wojsko]]”.
Największym osiągnięciem twórców logiki jest powołanie do życia tzw.[[logika sowiecka|logiki sowieckiej]] (''logika sowiecka'' jest podstawowym narzędziem [[Nauka radziecka|nauki radzieckiej]]. Logika sama w sobie jest absolutnie pewną metodą dochodzenia do niepewnych wniosków. We wszystkich odmianach logiki wyróżniamy dwa jej rodzaje: logikę [[kobieta|kobiecą]] oraz logikę [[mężczyzna|męską]]. Ta druga jest bardziej logiczna, ale ta pierwsza ma bardzo twarde argumenty. Jak zauważył już [[William Ockham]] „tam gdzie kończy się logika zaczyna się [[wojsko]]”.


===Przykłady logiki===
===Przykłady logiki===
Linia 36: Linia 37:
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 coraz 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ć, oto przykład, jak '''nie powinno się''' bawić zdaniami logicznymi.
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;
Linia 47: Linia 48:
<math>p \lor q \implies r \lor \neg q \land x \land \neg (q \implies r) \iff p \lor x \lor \neg r \implies r \lor p \land \neg x</math>.
<math>p \lor q \implies r \lor \neg q \land x \land \neg (q \implies r) \iff p \lor x \lor \neg r \implies r \lor p \land \neg x</math>.


Zdanie będzie wyglądać tak: ''Jeśli Wielki Brat patrzy lub pies bawi się kością, to Giertych jest Lepperem lub pies nie bawi się kością i Kurski się kłóci i ogólnie nieprawdą jest, że jeśli pies bawi się kością, to Giertych jest Lepperem, wtedy i tylko wtedy, gdy jeśli Wielki Brat patrzy lub Kurski się kłóci lub Giertych nie jest Lepperem, to Giertych jest Lepperem lub Wielki Brat patrzy i Kurski się nie kłóci''.
Zdanie będzie wyglądać tak: ''Jeśli Wielki Brat patrzy lub pies bawi się kością, to Giertych jest Lepperem lub pies nie bawi się kością i Kurski się kłóci i ogólnie nie prawdą jest, że jeśli pies bawi się kością to Giertych jest Lepperem, wtedy i tylko wtedy, gdy jeśli Wielki Brat patrzy, lub Kurski się kłóci, lub Giertych nie jest Lepperem, to Giertych jest Lepperem, lub Wielki Brat patrzy i Kurski się nie kłóci''.


Woda wrze w temperaturze 100 stopni, a kąt prosty ma 90 stopni – wniosek logiczny (miażdżący) – woda wrze w temperaturze większej niż kąt prosty. Jest to szczególny przypadek logiki rzadko opisywany w periodykach naukowych, wykracza nawet poza dziedzinę logiki formalnej. Trywialny dowód pozostawiamy czytelnikowi, to logiczne...

{{Matematyka}}


[[Kategoria:Filozofia]]
[[Kategoria:Filozofia]]
[[Kategoria:Logika| ]]
[[Kategoria:Logika|!]]


[[cs:Úvaha o logice]]
[[cs:Úvaha o logice]]
Cc-white.svg Wszystko, co napiszesz na Nonsensopedii, zgadzasz się udostępnić na licencji cc-by-sa-3.0 i poddać moderacji.
NIE UŻYWAJ BEZ POZWOLENIA MATERIAŁÓW OBJĘTYCH PRAWEM AUTORSKIM!
Anuluj Pomoc w edycji (otwiera się w nowym oknie)

Szablony użyte w tym artykule: