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

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

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