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: ¬>∧>∨>→>↔