Symbols:Symbolic Logic/Deprecated Symbols/Implication

From ProofWiki
Jump to navigation Jump to search

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 .