GPHI 5016 - Modern Deductive Logic

Description
The purpose of this course is to provide students with knowledge and understanding of the basic concepts of modern deductive logic, both in syntax and semantics. We start with sentential logic and discuss methods of constructing truth tables, truth trees, and derivations (for both the systems of SD and SD+). We then turn to predicate logic and consider certain differences and similarities between sentential and predicate logic and adjust the methods of truth trees and derivations to predicate logic.
Credits
3
Attributes
Liberal Arts, Open to Non Major w Restrictns
Recent Professors
Open Seat Checker
Schedule Planner
Recent Semesters
Spring 2019, Spring 2018, Spring 2017, Fall 2016
Offered
Tu, M
Avg. Class Size
25
Avg. Sections
1