Symbols:Symbolic Logic/Implication

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 .

Arrow

$\to$

Implies:

An alternative to $P \implies Q$.

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

Hook

$\supset$

Implies.

An alternative to $P \implies Q$.

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

Sources

• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Appendix: Table $7$: Common signs and symbols: implication
• 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): Appendix $14$: Symbols