Covers basic information in semantics and syntax of sentential and predicate logic, construction of truth trees, and derivations of natural deductive systems. This is a statewide Guaranteed Transfer course in the GT-AH3 category.
2021-2022
Catalog Resources
- About ACC
- Paying for College
- Student Resources and Services
- Student Academic Records
- Academic Policies and Procedures
- Legal Notices
- Academic Programs
- Academic Plans
- Courses
- Administrators and Faculty
- Workforce and Community Programs
- Littleton Campus Map
- Sturm Collaboration Campus Map
- DCSC Legacy Campus Map
- Archived Catalogs
Programs by Pathway
Symbolic Logic: GT-AH3
PHI
213