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