PHIL 201 - Logic I

This course develops an artificial symbolic language and formal proof system that allows for a mathematically precise treatment of deductive reasoning (i.e., reasoning where the truth of the premises guarantees the truth of the conclusion).

Credits: 3
Grade Mode: Letter
GUR Attributes: QSR