Go backward to Syntax of Propositional LogicGo up to TopGo forward to Logical Constants |

*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.*

Author: Wolfgang Schreiner

Last Modification: October 6, 1999