# 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$

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.