Математическая энциклопедия - логическая операция

способ построения сложного высказывания из данных высказываний, при к-ром истинностное значение сложного высказывания полностью определяется истинностными значениями исходных высказываний. Примерами Л. о. являются конъюнкция, дизъюнкция, импликация, отрицание. К Л. о. относятся также кванторы:они позволяют образовывать высказывания и высказывательные формы из данных высказывательных форм. в. Е. Плиско.

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

И. М. Виноградов

1977—1985