Notes on Classical & Intuistionistic Logic¶

Unorganized¶

(34)¶

$p \lor \neg{p}$

Table 1 Logical symbols¶
Symbol	Meaning
$\to$	Implication
$\equiv$	Equivalent
$\neg$	Negation
$\wedge$	Conjunction (and)
$\lor$	Disjunction (or)
$\oplus$	Exclusive disjunction (xor)
$\top$	Tautology, Truth
$\bot$	Contradiction, Falsum
$\forall$	Universal quantifier (for all)
$\exists$	Existential quantifier (there exists)
$\exists !$	Uniqueness quantifier (there exists only one)
$:=$	Definition
$\vdash$	Turnstile (entailment, proves)
$\vDash$	Double turnstile (models, semantic entailment)