Connector

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 “ifthen…” or “implies” is symbolized by “→”
  • the connector for the biconditional “is equivalent to” is symbolized by “↔”
  • the connector for the identity or equivalenceif and only if” is symbolized by “⇔”
  • the connector for the implication “leads to” is symbolized by “⇒”

Try Buzzmath activities for free

and see how the platform can help you.