These are notes for a general education introduction to symbolic logic including: sentential logic, predicate logic, phrase structure grammars, Godel's incompleteness theorems, cardinality, and model theory.