Алфавіт логіки висловлень

В класичній логіці є спеціальний розділ про складні висловлювання – логіка висловлювань. В логіці висловлювань використовується штучна мова, яка має такі знакові засоби (алфавіт логіки висловлювань):

• Змінні логіки висловлювань – A, B, C, D, … (пропозиційні змінні) позначають прості висловлювання.

• Знаки логічних сполучників:  – кон’юнкція;  – диз’юнкція;  – імплікація;  – еквіваленція; ^ – заперечення;

• Технічні знаки (дужки, кома).