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

Gdyby poprzednie zdanie mamaasfsafmama wypowiedziała tak: „Dostaniesz czekoladę jedynie wtedy, jeśli będziesz grzeczny” lub „Dostaniesz czekoladę wtedy i tylko wtedy, gdy będziesz grzeczny”, to okazałoby się, że gdyby synek był niegrzeczny, a mama i tak by mu dała czekoladę, to mama by skłamała. Spójnik logiczny „wtedy i tylko wtedy, gdy...” oznaczamy przez <math> \iff </math>. Tabela równoważności będzie wyglądać tak:

Powróćmy teraz do zdania „Księżyc krąży wokół ZiemiZiemiiiiiii wtedy i tylko wtedy, gdy pies ma osiem łap”. Na pierwszy rzut oka nam coś w nim nie pasuje. Podzielmy to zdanie na dwa podzdania {{math|p}} i {{math|q}}: