text: Математическая логика обычно использует такой набор операций: конъюнкция ( ∧ {\displaystyle \land } ), дизъюнкция ( ∨ {\displaystyle \lor } ), отрицание ( ¬ {\displaystyle \neg } ), импликация ( → {\displaystyle \to } ) и эквиваленция ( ↔ {\displaystyle \leftrightarrow } ).