Propositional Logic

Outline of This Chapter

Truth-functional Connectives

Well-formed Formulas (WFFs) of Propositional Logic

Symbolizing English Sentences

Truth Values

Calculating the Truth Value of a Compound Proposition

Calculating Truth Values When Some Components are Unknown

Calculating the Truth Values of Component Propositions

Truth Tables

Properties of Arguments: Validity and Soundness

Basic Concepts

The Truth Table Test for Validity

The Truth Assignment Test for Validity

Properties of Propositions: Tautologies, Contradictions, and Contingencies

Relations between Propositions: Consistency, Entailment, and Equivalence

Inference Rules

Formal Fallacies

Equivalence Rules

Proofs

Proof by Reductio ad Absurdum

Limitations of Propositional Logic