Recent SemestersSpring 2027, Fall 2026, Spring 2026, Fall 2025, Spring 2025Class SizeNot publishedCredits5PrerequisiteIntermediate algebra or higher Transfers ToCSUCSU GE Area B4 · UCTCA Area UCTCADescriptionThe 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 