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

- операции, посредством которых из простых высказываний образуются сложные, из простых терминов - сложные, из высказываний - термины, из терминов - высказывания и т. д.

К Л. о., позволяющим из одних высказываний получать другие высказывания, относятся конъюнкция ("и", символически &), дизъюнкция ("или", v), импликация ("если, то", ->), эквивалентность ("если и только если", =), отрицание ("неверно, что", ~) и др. Так, если даны два произвольных высказывания A и В, из них с помощью конъюнкции получается сложное высказывание  A & В, которое истинно, только когда A и B истинны; с помощью дизъюнкции получается сложное высказывание A v В, истинное, когда хотя бы одно из входящих в него высказываний истинно, и т. п. (см.: Логика высказываний).