PL 330  Advanced Symbolic Logic

H. Hamner Hill

Southeast Missouri State University




Overview of Logical Systems (a 'map' of logic)


Overview and Review of Basic Logic


Properties of Relational Predicates


Relational Predicate Symbolization Exercises


Exercises in Prenex Form


Exercises in Proof Construction Using the Main Method

                Solutions to Problems Using the Main Method 


Relational Predicate with Identity Symbolization Exercises


Boolean Term Schemata and Boolean Existence Schemata


Denoting Phrases and Definite Descriptions


Goedel's Result

    Goedel's Proof


Introduction to Set Theory


The Lowenheim-Skolem Theorem