Course Description
Introduction to the formal study of logical implication. Propositional and first-order logic will be treated in detail. Additional topics will include alternative logics such as modal and deontic logic and selected topics in metalogic.
1
Academic Level
Undergraduate Academic Level
Course Type(s)
Tag-Quant. Reasoning (Q)
Effective Start Date
2024-08-26