В чем заключаются отличия между логическими операциями в программировании и в формальной логике?

Отличия между логическими операциями в программировании и в формальной логике заключаются в их назначении и использовании:

• В программировании логические операции служат для управления программой в зависимости от значения логических выражений или переменных. ru.wikiversity.org Наиболее известны конъюнкция (&&), дизъюнкция (||), отрицание (!). ru.wikiversity.org
• В формальной логике логические операции соответствуют логическим связкам в суждениях и используются для построения новых составных высказываний. ru.wikiversity.org in.lit.msu.ru В качестве основных обычно называют конъюнкцию (∧ или &), дизъюнкцию (∨), импликацию (→), отрицание (¬). ru.wikiversity.org

Таким образом, в программировании логические операции направлены на управление программой, в то время как в формальной логике они используются для построения логических выражений и суждений. ru.wikiversity.org in.lit.msu.ru