|Distribution||Human Thought and Expression|
|Recommended||This course is suitable for students in all areas and is highly recommended for philosophy majors.|
Logic is the science of correct reasoning. It provides rigorous methods for evaluating the validity of arguments. This introductory course covers the basic concepts and techniques of propositional logic and first-order predicate logic with identity, including truth tables, proofs, and elementary model theory.