Category:Conditional

This category contains results about Conditional in the context of Propositional Logic.
Definitions specific to this category can be found in Definitions/Conditional.

The conditional is a binary connective:

$p \implies q$

defined as:

If $p$ is true, then $q$ is true.

This is known as a conditional statement.

$p \implies q$ is voiced:

if $p$ then $q$

or:

$p$ implies $q$