Vocab
Quantifiers
Symbols
100

Statements

A declarative sentence either true or false

100

Universal Quantifiers

all, none
100

⋁

Or
200

Connectives

and, or, not

200

Existential Quantifier

some, most, at least

200

∧

And

300

Compound Statement

Two or more statements using connectors

300
~

Not

400

Symbolic Logic

Uses variables that represent statements and a set of truth tables and symbolic rules to determine true or false statements.

500
Tautology

All true statements 

M
e
n
u