Symbols:Symbolic Logic/Conjunction

From ProofWiki
Jump to navigation Jump to search

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$

And.

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:

Symbols:Group Action
Symbols:Cross Product (Deprecated)

for other uses of this symbol.