From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Conditional in the context of Propositional Logic.
Related results can be found in Category: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$


$p$ implies $q$


This category has the following 3 subcategories, out of 3 total.

Pages in category "Definitions/Conditional"

The following 52 pages are in this category, out of 52 total.