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 43 subcategories, out of 43 total.

H

L

M

P

Pages in category "Implication"

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