**First Order Logic, Sets**

Fall 2016

Jeffrey Jones

CSE 2321

First Order Logic
Implication
Predicate Calculus
Negation of Quantifiers
Examples
Sets
Describing a Set
Common Sets
Distributive, Associative, and DeMorgan's Laws
Disjoint, Cardinality, Finite/Infinite, Countable/Uncountable
Power Set
Textbook Notes