Category:Conditional

From ProofWiki
Jump to navigation Jump to search

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$

Subcategories

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

H

L

M

Pages in category "Conditional"

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