Overview
Description
Principles of correct reasoning, using modern symbolic techniques of the propositional calculus and simple quantification theory.
Units
Lecture3
Catalog Details
Offering
Offered: Every Fall and Spring
Terms
fall, spring
Attributes
Standard
Learning Outcomes
- translate ordinary English sentences into standard notation for sentential and predicate logic.
- construct truth tables in order to distinguish valid and invalid reasoning, and to express other semantic concepts (logical equivalence and implication, logical consistency, types of statement form).
- construct formal proofs for valid arguments in both sentential and predicate logic, applying given rules of inference in order to justify each step in the proof.
- state rigorous definitions of crucial concepts in formal logic (for example, truth-functionality).