Логика высказываний

ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел современной (математической) логики, посвященный изучению логических форм сложных высказываний, образованных из элементарных высказываний с помощью связок, аналогичных союзам «и», «или», «если..., то...», «если..., и только если...»,  отрицания (не) и др. Элементарные высказывания при этом рассматриваются как целые, т. е. не расчленяются на части (такие, напр., как субъект и предикат).

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 194-195.