Course Description

Students learn to translate simple, quantified, and multiply-quantified English sentences into symbolic form in both sentence logic and predicate logic with quantifiers. Truth tables are used to both classify and compare symbolic sentence's properties. Proof techniques for determining validity or invalidity of arguments containing simple sentences, compound sentences, and sentences containing quantifiers in sentence and predicate logic systems are learned including truth tables, truth trees, and natural deduction style proofs with inference, replacement and quantifier rules. Enrollment Limitation: MATH A220; students who complete PHIL A220 may not enroll in or receive credit for MATH A220. C-ID: PHIL 210.