Logika matematyczna zajmuje się zdaniami logicznymi.
W naszych rozważaniach będą nas interesowały te typy zdań, o których możemy jednoznacznie powiedzieć, że są prawdą lub fałszem.
zdanie fałszywe ma wartość logiczną 0
zdanie prawdziwe ma wartość logiczną 1
Przykłady zdań logicznych.
1. 2 jest liczbą parzystą.
Jest to prawda, jest to zdanie prawdziwe, więc ma wartość logiczną 1.
2. 7 jest liczbą parzystą.
Jest to nieprawda, to zdanie fałszywe, więc ma wartość logiczną 0.
3. Liczba 4 jest rozwiązaniem równania 2x + 6 = 10.
Pod iksa podstawiamy liczbę 4 i sprawdzamy czy otrzymamy równość prawdziwa.
2 · 4 + 6 = 10
8 + 6 = 10
14 
10
Jest to nieprawda, to zdanie fałszywe, więc ma wartość logiczną 0.
4. Warszawa jest stolicą Polski.
Jest to prawda, więc wartość logiczna tego zdania wynosi 1.
Nie wszystkie zdania w języku polskim są zdaniami w sensie matematycznym.
Jeżeli nie możemy przyporządkować danej wypowiedzi wartości 1 lub 0 to nie będzie to zdanie w sensie matematyczny.
Przykłady wypowiedzi, które nie są zdaniami w sensie matematycznym.
1. Czy lubisz rosół?
2. Wyjdź stąd!
Zdania proste w matematyce oznaczamy małymi literami p, q, r…