Symbols:Symbolic Logic/Deprecated Symbols/And

From ProofWiki
Jump to navigation Jump to search

Deprecated Symbol for Conjunction



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 .

Also see


Symbols:Multiplication (Algebra)
Symbols:Repeated Addition
Symbols:Scalar Product

for other uses of this symbol.