PL 120 Symbolic Logic I

Tutorials

 UNIT ONE Basic Concepts UNIT TWO Constructing Proofs UNIT THREE 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 Venn Diagrams Truth, Validity and Soundness Rules of Inference Syllogistic Arguments Unit 2 Logical Syntax (WFF's) Justifying Steps in a Proof Venn Diagrams Tests for Validity Unit 3 Tips on Putting Words into Symbols Unit 7 Constructing Proofs Unit 11 Quantifiers and Monadic Predicates Unit 4 Truth Tables Unit 8 Conditional and Indirect Proof Unit 12 Relational Predicates Truth Tables and Equivalence Symbolizing Proofs Unit 13 Multiple Quantification Truth Tables and Validity More Sample Proofs (KEY) Unit 14 Understanding Relational Predicate ExpressionsTruth Functional Expansions of Quantified Formulas Truth Value Analysis Unit 15 Logic ands Legal Reasoning Prefix Polish Notation Solving Puzzles with IP Final Exam Objectives