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

Axioms

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

Properties

Propositional Logic

Login to edit