Большая Советская энциклопедия - логика высказываний

раздел математической логики (См. Логика), посвященный изучению логических форм сложных высказываний, образованных из элементарных высказываний с помощью связок, аналогичных союзам «и», «или», «если..., то...», отрицания («не») и др.

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978

.