Logic

Constants

Symbol	Notation
`True`	\( \top \) \( \mathbf{T}\)
`False`	\( \bot \) \( \mathbf{F}\)
`Maybe`		\( \mathbf{?}\)

Logical Operators

Symbol	Notation
`And`	\( p \land q\)	Conjunction logic
`Or`	\( p \lor q\)	Disjunction logic
`Not`	\( \lnot p\)	Negation logic
`Equivalent`	\( p \Leftrightarrow q\)	logic
`Implies`	\(p \implies q \)	logic