Explore tens of thousands of sets crafted by our community.
Logic Symbols and Notation
20
Flashcards
0/20
Modal necessity
\Box
Conjunction
\land
Existential quantification (unique)
\exists!
Subjunction (also known as p implies q)
\supset
Universal quantification
\forall
Sheffer Stroke
|
Exclusive Or (XOR)
\oplus
Implication
\rightarrow
Existential quantification
\exists
Material Implication
\to
Nor (Not Or)
\downarrow
Tautology
\top
Contradiction
\bot
Disjunction
\lor
Biconditional
\leftrightarrow
Nand (Not And)
\uparrow
Material Equivalence
\equiv
Negation
\neg
Peirce's Arrow
\downarrow
Modal possibility
\Diamond
© Hypatia.Tech. 2024 All rights reserved.
