SYMBOLIC LOGIC

1) Semester:  Fall 2022

2) Course ID: MHF 5306

3) Course Credit Hours: 3

4) Meeting Times: TR 6:00 - 7:15

5) Meeting Location: Merwin 102

6) Textbook:  Predicate Logic by Pospesel

7) Course description:     Introduction to the methods of formal logical systems, specifically propositional logic, one-variable predicate logic, and relational logic.

8) Prerequisite(s): per catalogue

9) SLO: primarily "problem-solving abilities"