PL 120 Symbolic Logic I 

Class PowerPoint Presentations

Professor Hamner Hill

Click on the relevant lesson to download the presentation.  Go through the presentation and follow the instructions.  You can view the presentation in PowerPoint or you can view the slides using Microsoft Word.

Section  I:  Truth Functions Section II:  Proof Construction Section III: Predicate Logic


Arguments, Statements, Truth, Validity, Consistency


Introduction to Proofs, Rules of Equivalence, Rules of Inference  

Introduction to Predicate Logic, Venn Diagrams, Categorical Syllogisms


Logical Syntax (WFF's), Statement Forms, Dominant Operators


Justifying Steps in a Proof,  Applying Rules of Inference and Equivalence

Predicates and Variables, Free and Bound Variables


Grouping, Truth Tables, Validity Tests


Proof Construction, Conditional Proof, Reductio Ad Absurdum

Truth Functional Expansions

Symbolizing English Statements, Conditionals, Unless

Tips on Proof Construction, Problem Solving with CP and RAA  

Symbolizing Relational Predicates

Relational Predicates, Multiple Quantification

Complex Relational Symbolizations, Interpretations


Truth Value Analysis


Sample Exam # 2

Logic and Law


Sample Exam # 2 Key



Truth Table Tests for Equivalence         

Symbolizing Conditionals

Truth Table Tests for Validity