Explore tens of thousands of sets crafted by our community.
Logic Symbols and Notation
20
Flashcards
0/20
Conjunction
\land
Disjunction
\lor
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
Negation
\neg
Implication
\rightarrow
Biconditional
\leftrightarrow
Universal quantification
\forall
Existential quantification
\exists
Nand (Not And)
\uparrow
Nor (Not Or)
\downarrow
Exclusive Or (XOR)
\oplus
© Hypatia.Tech. 2024 All rights reserved.
