Drugi przykład powinien wyglądać zatem następująco.
‘Londyn’ ma sześć liter.
‘Największe miasto Anglii’ ma więcej niż sześć liter.
Zatem: ‘Londyn’ nie jest ‘największym miastem Anglii’.
Gdy mówimy „Londyn jest dużym miastem”, stosuje się zwrot ‘Londyn’, aby powiedzieć coś o mieście. Z kolei gdy używamy zwrotu „‘Londyn’ ma sześć liter”, to mówimy o wyrażeniu ‘Londyn’.
Składnia rachunku zdań Alfabet rachunku zdań składa się z trzech rodzajów znaków: zmiennych zdaniowych, funktorów zdaniotwórczych i znaków pomocniczych:
Zmienne zdaniowe (zdania) '', '', '', '' itd. lub gdy potrzebne: '', '', '', ..., '', '',...
Funktory zdaniotwórcze (spójniki zdaniowe) koniunkcja, alternatywa, równoważność, implikacja logiczna itd.
Znaki pomocnicze nawiasy: '(', ')', '[', ']', '{', '}'.
Definicja: jest wtedy i tylko wtedy zdaniem rachunku zdań, jeśli spełniony jest jeden z poniższych warunków
1) jest zmienną zdaniową
2) i są zdaniami rachunku zdań i jest równe lub
Zasada opuszczania nawiasów Zewnętrzne nawiasy mogą zostać opuszczone. ' i '' wiążą mocniej niż '' i ''.