Data Recovery

It appears you may have used Coursicle on this device and then cleared your cookies. You can recover your data by answering these questions.

User's photo
User ID:

Your account no longer exists

Your user ID no longer exists. Please refresh the page. If the issue persists, please contact us at support@coursicle.com.

Dismiss

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.
Recent Semesters
Fall 2024, Spring 2024, Spring 2023, Spring 2022, Spring 2021
Class Size
15-35
Credits
3
Professor Reviews
Camil Golub
•
4y
Senior
GPHI
Prof. Golub is very professional, approachable and knowledgeable. Always willing to go over the class material, always available through office hours etc.
Read all reviews
Usually Held
M (2:00pm-3:50pm), M (1:55pm-3:45pm), Tu (9:55am-11:45am)
Attributes
Liberal Arts, Open to Non Major w Restrictns