Category:Implication

From ProofWiki
Jump to navigation Jump to search

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

The conditional or implication is a binary connective:

$p \implies q$

defined as:

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


This is known as a conditional statement.

A conditional statement is also known as a conditional proposition or just a conditional.


$p \implies q$ is voiced:

if $p$ then $q$

or:

$p$ implies $q$

Subcategories

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

H

Pages in category "Implication"

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