Logo
Pattern

Discover published sets by community

Explore tens of thousands of sets crafted by our community.

Logic Symbols and Notation

20

Flashcards

0/20

Still learning
StarStarStarStar

Conjunction

StarStarStarStar

\land

StarStarStarStar

Disjunction

StarStarStarStar

\lor

StarStarStarStar

Negation

StarStarStarStar

\neg

StarStarStarStar

Implication

StarStarStarStar

\rightarrow

StarStarStarStar

Biconditional

StarStarStarStar

\leftrightarrow

StarStarStarStar

Universal quantification

StarStarStarStar

\forall

StarStarStarStar

Existential quantification

StarStarStarStar

\exists

StarStarStarStar

Nand (Not And)

StarStarStarStar

\uparrow

StarStarStarStar

Nor (Not Or)

StarStarStarStar

\downarrow

StarStarStarStar

Exclusive Or (XOR)

StarStarStarStar

\oplus

StarStarStarStar

Material Implication

StarStarStarStar

\to

StarStarStarStar

Material Equivalence

StarStarStarStar

\equiv

StarStarStarStar

Sheffer Stroke

StarStarStarStar

|

StarStarStarStar

Peirce's Arrow

StarStarStarStar

\downarrow

StarStarStarStar

Existential quantification (unique)

StarStarStarStar

\exists!

StarStarStarStar

Tautology

StarStarStarStar

\top

StarStarStarStar

Contradiction

StarStarStarStar

\bot

StarStarStarStar

Modal necessity

StarStarStarStar

\Box

StarStarStarStar

Modal possibility

StarStarStarStar

\Diamond

StarStarStarStar

Subjunction (also known as p implies q)

StarStarStarStar

\supset

Know
0
Still learning
Click to flip
Know
0
Logo

© Hypatia.Tech. 2024 All rights reserved.