Rachunek zdań

jest to takie wyrażenie, które jest prawdziwe albo fałszywe.

jest to takie wyrażenie, za które wolno wstawić dowolne zdanie w sensie logicznym.

to wyrażenia posiadające tę właściwość, że po dodaniu do nich zdania bądź zdań otrzymuje się nowe zdanie, którego wartość logiczna zależy wyłącznie od wartości logicznej zdania dołączonego.

jest to takie wyrażenie, które po dołączeniu do niego jednego zdania jako argumentu daje nowe zdanie o wartości logicznej wyznaczonej - w szczególny sposób - przez wartość logiczną zdania dołączonego.

jest to zdanie dołączone do spójnika negacji jako jego argument.

jest to zdanie powstałe przez zanegowanie określonego zdania.