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