Symbolic Logic

University of Alabama in Huntsville

CoursePHL 320

Symbolic deductive logic, including propositional calculus (truth-functional logic), predicate calculus (propositional functions and quantification), and the logic of relations.

Credits

3 credits

Course Code

PHL 320