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