Recent SemestersSpring 2027, Fall 2026, Spring 2026, Fall 2025, Spring 2025Class Size40 studentsCredits3 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: MATH A220 ; students who complete PHIL A220 may not enroll in or receive credit for MATH A220 . C-ID: PHIL 210.Usually HeldTue Thu 12:45pm–2:10pm 