Przykłady i własności Ustalmy zbiór zmiennych zdaniowych i zbiór spójników logicznych jak zaproponowane powyżej. Następujące ciągi symboli są zdaniami naszego rachunku zdań: Często dla poprawienia czytelności naszych napisów omijamy pewne nawiasy i piszemy np. zamiast Istnieją również umowy co do kolejności wykonywanych operacji pozwalające na jeszcze poważniejsze omijanie nawiasów. Jednak ściśle biorąc nawiasy są potrzebne czy nawet niezbędne i lepiej jest je wszystkie zanotować niż zbyt wiele ominąć. Następujące ciągi symboli nie są zdaniami naszego rachunku zdań: Jeśli każdej zmiennej zdaniowej przyporządkujemy jakąś wartość logiczną, to przyporządkowanie jest rozszerzane na wszystkie zdania (przez indukcję po złożoności zdania). Niektóre zdania otrzymają wartość logiczną prawda bez względu na to jakie jest początkowe przyporządkowanie. Takie zdania nazywamy tautologiami rachunku zdań.