PL 120 Symbolic Logic I



Basic Concepts


Constructing Proofs


Syllogistic and Predicate Logic

   Essential Terms and Concepts  Unit 6   Introduction to Proofs  Unit 10  Categorical Propositions
Basic Symbols and Principles  Unit 6 Rules of Equivalence

Equivalence Exercises  (Key)

Venn Diagrams
Truth, Validity and Soundness Rules of Inference Syllogistic Arguments

 Unit 2

Logical Syntax (WFF's)

Identifying Statement Forms

Justifying Steps in a Proof

Justification Exercises   (Key)

More Exercises      (Key2)

Venn Diagrams Tests for Validity
 Unit 3 Tips on Putting Words into Symbols  Unit 7 Constructing Proofs

Putting Words into Symbols

Unit 11 Quantifiers and Monadic Predicates

Symbolization Exercises    More Examples

 Unit 4 Truth Tables  Unit 8 Conditional and Indirect Proof  Unit 12 Relational Predicates

Symbolization Exercises with Relational Predicates

Truth Tables and Equivalence Symbolizing Proofs

Sample Proofs     (KEY)

 Unit 13 Multiple Quantification

Symbolization Exercises

Truth Tables and Validity More Sample Proofs (KEY)  Unit 14 Understanding Relational Predicate Expressions

Truth Functional Expansions of Quantified Formulas

Expansions of Formulas w/Relational Predicates

Truth Value Analysis

Rules for Resolving Truth Functions

Exercises in Resolving Truth Functions 

     Unit 15 Logic ands Legal Reasoning
  Prefix Polish Notation   Solving Puzzles with IP    Final Exam Objectives