Definition:Entailment/Notation
Jump to navigation
Jump to search
Entailment: Notation
To denote that $p$ entails $q$, $\mathsf{Pr} \infty \mathsf{fWiki}$ uses the notation $p \boldsymbol \prec q$.
Sources which use the symbol $\to$ for conventional implication may then use $\implies$ for entailment.
The $\LaTeX$ code for \(p \boldsymbol \prec q\) is p \boldsymbol \prec q .
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): implication: 3. (entailment)
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): implication: 3. (entailment)