Symbols:Symbolic Logic/Conjunction
Conjunction
- $\land$
And.
A binary operation on two propositions.
$P \land Q$ means $P$ is true and $Q$ is also true.
The $\LaTeX$ code for \(P \land Q\) is P \land Q
or P \wedge Q
.
Some $\LaTeX$ compilers allow \and
(the version of MathJax used on $\mathsf{Pr} \infty \mathsf{fWiki}$ does not).
In the context of propositional logic, on $\mathsf{Pr} \infty \mathsf{fWiki}$ \land
is standard.
Deprecated Symbols
And
- $\cdot$
A binary operation on two propositions.
$P \cdot Q$ means $P$ is true and $Q$ is true.
In this usage, it is called dot.
An alternative to $P \land Q$, usually used by logicians.
The $\LaTeX$ code for \(P \cdot Q\) is P \cdot Q
.
Ampersand
- $\&$
$P \mathop \& Q$ means $P$ is true and $Q$ is true.
An alternative to $P \land Q$, which is what is usually used by logicians.
The $\LaTeX$ code for \(P \mathop \& Q\) is P \mathop \& Q
or P \mathop \And Q
.
Also see
See:
for other uses of this symbol.
Sources
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Appendix: Table $7$: Common signs and symbols: and
- 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): Appendix $14$: Symbols