Go backward to Syntax of Propositional Logic Go up to Top Go forward to Logical Constants

Syntax of Propositional Logic (Continued)

• Conjunction: (A /\  B).

  "A and B".

• Disjunction: (A \/ B).

  "A or B".

• Implication: (A => B).

  "A implies B".

• Equivalence: (A <=> B).

  "A is equivalent to B".

Connectives of arity 2.