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 “⇒”