Recent SemestersFall 2026, Spring 2026, Fall 2025, Spring 2025, Fall 2024Class Size40 studentsCredits5PrerequisiteIntermediate algebra or higher Transfers ToCSUCSU GE Area B4DescriptionThe study of logical relationships by way of models and procedures in a symbolic system. The concept of proof and the demands of formal proofs. Methods of demonstrating logical relationships, including truth tables, derivations in sentence and predicate logic, and seman- tic interpretations. The relation between conventional languages and symbolic encodings. A selection of related theoretical topics, including proofs of soundness and consistency of the calculi, and elementary set theory. UC/CSUUsually HeldTue Thu 12:10pm–2:25pm, Tue Thu 12:40pm–2:55pm 