Rule of Material Implication

From ProofWiki
Jump to navigation Jump to search

Theorem

The rule of material implication is a valid deduction sequent in propositional logic:

Formulation 1

$p \implies q \dashv \vdash \neg p \lor q$

Formulation 2

$\vdash \paren {p \implies q} \iff \paren {\neg p \lor q}$


That is:

statement $p$ implies statement $q$

is logically equivalent to:

statement $p$ is false or statement $q$ is true


As a definition

$p \implies q := \neg p \lor q$


Also known as

This rule is sometimes seen referred to as the definition of material implication, as some sources use this rule as a definition of the conditional, so as to justify its semantics.

A material implication is sometimes expressed in the amplified form implication in material meaning.


Also see

The following are related argument forms:


Sources