Category:Implication

From ProofWiki
Jump to: navigation, 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.

B

H

L

M

P

Pages in category "Implication"

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