Transfers ToCSUCSU GE Area A3 · CSU GE Area C2DescriptionStudents 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: PHIL A220 ; students who complete MATH A220 may not enroll in or receive credit for PHIL A220 . C-ID: PHIL 210.Usually HeldTue Thu 12:45pm–2:10pm 