Conditional →

The conditional is a basic operation in propositional logic. The statment φ → ψ means that if the statement φ is true, that implies that the statement ψ is also true.

Truth Table


The properties of the conditional are derived directly from the logical axioms. The axioms are all expressed using conditional statements.


Propositional Logic

Login to edit