ЛОГИЧЕСКАЯ ОПЕРАЦИЯ

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