PHRL 21002 Symbolic Logic

GE-Math Symbolic logic focuses on the formal structure of reasoning, unlike traditional logic which focuses on natural language. In using symbols and not terms, this kind of logic is more mathematical—in fact, it was developed to incorporate mathematics. We will cover translation, propositional logic, predicate logic, quantification, and identity, using natural deduction.

Credits

3

Offered

Spring.