Section 2-3 Test

Vocab

100

Statements

A declarative sentence either true or false

200

Connectives

and, or, not

300

Compound Statement

Two or more statements using connectors

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 

Quantifiers

100

Universal Quantifiers

all, none

200

Existential Quantifier

some, most, at least

Symbols

100

⋁

Or

200

∧

And

300

~

Not