PL 330  Advanced Symbolic Logic

H. Hamner Hill

Southeast Missouri State University

 

Tutorials

 

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