Connector
In mathematical logic, the symbol used to create new propositions from given propositions or new propositional forms from given propositional forms.
Symbols
The main connectors used in mathematical logic are:- the connector for the conjunction "and" is symbolized by "∧"
- the connector for the disjunction "or" is symbolized by "∨"
- the connector for the negation "not" is symbolized by "¬"
- the connector for the conditional "if… then…" or "implies" is symbolized by "→"
- the connector for the biconditional "is equivalent to" is symbolized by "↔"
- the connector for the identity or equivalence "if and only if" is symbolized by "⇔"
- the connector for the implication "leads to" is symbolized by "⇒"