PHIL 250: Introduction to Symbolic Logic
tennant.9@osu.edu
Basic Concepts and Techniques
EXPLANATIONS AND EXERCISES
Translating from English into
logical notation
Rules of inference
Truth tables for the connectives
A strategy for constructing proofs
Finding counterexamples to invalid arguments
Appraising arguments for validity
Demonstrating grasp of basic concepts