Logical operators are usual truth-functional operators ( ¬ , ∨ , ∧ , → {\displaystyle \neg ,\lor ,\land ,\rightarrow } ).
В качестве логических операторов обычно используются ( ¬ , ∨ , ∧ , → {\displaystyle \neg ,\lor ,\land ,\rightarrow } ).