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

Zdanie „Nieprawda, że byłem dzisiaj w kinie” oznaczmy jako zdanie {{math|r}}. Zdanie to jest zaprzeczeniem (negacją) zdania „Byłem dzisiaj w kinie”, które oznaczymy przez {{math|p}}. Negację zdania {{math|p}} przedstawiamy jako <math> \neg p </math> (w zapisie odręcznym: ''&sim;p''). Jeśli zdanie {{math|p}} jest prawdziwe (byliśmy w kinie), to zdanie {{math|r}} jest fałszywe, bo skłamaliśmy, że nie byliśmy w kinie. Natomiast jeśli zdanie {{math|p}} jest nieprawdziwe, oznacza to, że zdanie {{math|r}} jest prawdziwe. Wnioski te można to przedstawić w poniższej tabelce.