Online Symbolic Logic
Home
Before the Third Exam
7.1: The Rules of Implication
7.1: Online Exercise Solutions
7.2: The Rules of Inference Continued
7.2: Online Exercise Solutions
7.3: Replacement Rules I
7.4: The Replacement Rules Continued
7.4: Online Exercise Solutions
7.5: Conditional Proof
7.6: Indirect Proof
Practice Exam 3
Before the Second Exam
6.1: Introduction to Propositional Logic
6.2: Truth Table for the Propositional Operators and Indirect Truth Tables Handout
6.3: Using Ordinary Truth Tables
6.4: Using Truth Tables to Determine Validity
6.5: Indirect Truth Tables
Practice Exam 2
Before the First Exam
1.1 An Introduction to Logic
1.2 Arguments and Nonarguments
1.3 Deductive and Inductive Arguments
1.4 Evaluating Arguments
4.1 Categorical Propositions
4.2 More on Categorical Propositions
1.5 The Counterexample Method
4.3: Venn Diagrams and The Square of Opposition
4.4: Conversion, Obversion, and Contraposition
4.7 How to translate categorical propositions into standard form
Practice Exam 1 and Exam Rubric