Symbols:Symbolic Logic/Implication

From ProofWiki
Jump to navigation Jump to search

Implication

$\implies$

Implies.

A binary operation on two propositions.

$P \implies Q$ means if $P$ is true, then $Q$ is true.


The $\LaTeX$ code for \(P \implies Q\) is P \implies Q .


Deprecated Symbols

Implication

$\to$

Implies.

A binary operation on two propositions.


$P \to Q$ means if $P$ is true, then $Q$ is true.

An alternative to $P \implies Q$, which is what is generally used nowadays by logicians.


The $\LaTeX$ code for \(P \to Q\) is P \to Q .


Sources