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 Expressions | ||

Truth Value Analysis | Unit 15 | Logic ands Legal Reasoning | |||

Prefix Polish Notation | Solving Puzzles with IP | Final Exam Objectives |