PHIL 405 - Advanced Logic

Lecture Hours: 3
Lab Hours: 0
Credit Hours: 3

This course will build off the foundation of PHIL 205. Students will deepen their understanding of sentential logic and will learn about predicate logic. We will also prove that both formal systems are sound and complete.

Prerequisite: PHIL 205