Notes on Introduction to Logic -- Phil A101

William Jamison - Instructor

Lecture on Propositional Logic:

Propositional Logic: Arguments

Truth-Functional Validity

Contradictory Premises and Tautological Conclusions

Abbreviating Truth-Functional Arguments

Schematizing Truth-Functional Arguments

Exercises

Testing Validity by Truth Tables

Exercises

The Short Truth Table Method

Exercises

Truth-Functional Arguments and Corresponding Conditionals

Exercises

The Propositional Calculus

Constructing a Formal  Proof

Inference Rules

Exercises

Rules of Thumb for Proof Construction

The Rule of Rigor

Exercises

The Replacement Rule

Exercises

Conditional Proof

Exercises

Indirect Proof

Deductive Completeness

Exercises

Summary

 

 

This page is maintained by William S. Jamison. It was last updated August 14, 2012. All links on these pages are either to open source or public domain materials or they are marked with the appropriate copyright information. I frequently check the links I have made to other web sites but each source is responsible for their own content.