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)