Logical Connective

logic

Definition

Logical Connective

A logical connective is an operator used to build a formula from one or more formulas.

Operator Precedence

The usual precedence order is:

$$\neg >\wedge >\vee >\to >\leftrightarrow$$