Wikibooks

Matematyka dla liceum/Logika/Spójniki logiczne: Różnice pomiędzy wersjami

Przeglądaj historię interaktywnie
← poprzednia edycjanastępna edycja →
Usunięta treść Dodana treść
WizualnieWikikod
→‎Implikacja: 1. "To" zdanie, nie "te" zdanie ;) 2. "Jest to podobna sytuacja do tej, jak syn był niegrzeczny, a dostał czekoladę." - kulfon.
Linia 99:
* zdania {{math|q}}: „Dostaniesz czekoladę”
Implikację zdań oznaczamy za pomocą spójnika <math> \implies </math>, a w tym przypadku przez <math> p \implies q </math>.
Pozostaje zastanowić się, kiedy zdanie {{math|r}} będzie prawdą, a kiedy kłamstwem. Załóżmy, że zdanie to wypowiedziała mama do swojego syna. Jeśli syn był grzeczny i dostał czekoladę, mama nie skłamała. Jeśli syn był niegrzeczny i nie dostał czekolady, mama także nie skłamała. Jeśli syn był grzeczny, a nie dostał czekolady, oznacza to, że został okłamany. Okazuje się także, że jakbygdyby syn był niegrzeczny i także dostał czekoladę, mama by nie skłamała. Dlaczego? Ponieważ, mama nie stwierdziła, co go spotka, jeśli będzie niegrzeczny. Powiedziała jedynie, co go spotka jeśli będzie grzeczny. Dlatego też o zdaniu '''{{math|p}}''' mówimy, że jest '''warunkiem wystarczalnym''', a o '''{{math|q}}''', że jest '''warunkiem koniecznym'''. Tabelka wartości logicznych będzie wyglądać tak:
 
<div align="center">
Źródło: „https://pl.wikibooks.org/wiki/Matematyka_dla_liceum/Logika/Spójniki_logiczne”