Definition:Conjunction/Notational Variants

From ProofWiki
Jump to navigation Jump to search

Definition

Various symbols are encountered that denote the concept of logical conjunction:

Symbol Origin Known as
$p \land q$ wedge
$p\ \mathsf{AND} \ q$
$p \ . \ q$ 1910: Alfred North Whitehead and Bertrand Russell: Principia Mathematica dot
$p \ \And \ q$ Ampersand
$\operatorname K p q$ Łukasiewicz's Polish notation


Further notational variants

In view of their use of $.$ as a convention for marking a parenthesis, 1910: Alfred North Whitehead and Bertrand Russell: Principia Mathematica also offer as variants:

$p : q$
$p \, \mathop{:.} \, q$
$p :: q$


Sources