Zdania logiczne i podstawowe operacje
W logice matematycznej zdaniem nazywamy tylko takie wyrażenie, o którym możemy jednoznacznie stwierdzić, czy jest prawdziwe, czy fałszywe. Pytanie "Czy liczba 3 jest nieparzysta?" nie jest zdaniem logicznym, ale stwierdzenie "Liczba 3 jest nieparzysta" już tak.
Każde zdanie logiczne ma swoją wartość logiczną - prawdę (oznaczaną cyfrą 1) lub fałsz (oznaczany cyfrą 0). To jak matematyczny system oceniania - albo coś jest prawdziwe, albo nie ma trzeciej opcji.
Koniunkcja (p ∧ q) to zdanie typu "p i q" - jest prawdziwe tylko wtedy, gdy oba zdania p i q są prawdziwe. Alternatywa (p ∨ q) to zdanie "p lub q" - jest fałszywa tylko wtedy, gdy oba zdania są fałszywe.
💡 Zapamiętaj: Koniunkcja jest bardzo wymagająca (potrzebuje obu prawd), alternatywa jest łagodna (wystarczy jedna prawda).



