Symbols:Symbolic Logic

"Or"
$$\vee$$

"Or". A binary operation on two propositions. $$P \vee Q$$ means "either $$P$$ is true or $$Q$$ is true, or both."

Its technical term is "vel".

Its LaTeX code is \vee or \lor.

"And"
$$\wedge$$

"And". A binary operation on two propositions. $$P \land Q$$ means "$$P$$ is true and $$Q$$ is also true."

Its LaTeX code is \wedge or \land.

See Vector Algebra: Deprecated Symbols and Group Theory for alternative definitions of this symbol.

"Not"
$$\neg$$

"Not". $$\neg Q$$ means not $$Q$$, the logical opposite (negation) of $$Q$$. The effect of the unary operator $$\neg$$ is to reverse the truth value of the following statement.

Its LaTeX code is \neg or \lnot.

= 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$$, which is what is usually used by logicians.

Its LaTeX code is \cdot.

See Arithmetic and Algebra, Vector Algebra and Group Theory for alternative definitions of this symbol.

"Not"
$$-$$

"Not": an alternative to $$\lnot$$, which is what is usually used.

Its LaTeX code is -.

See Arithmetic and Algebra and Set Operations and Relations for alternative definitions of this symbol.