|
Mar 21, 2025
|
|
|
|
University of Alberta Calendar 2019-2020 [ARCHIVED CATALOG]
|
PHIL 120 - Symbolic Logic I ★ 3 (fi 6) (either term, 3-0-0) A study of sentential logic, including translation, semantics, decision procedures and natural deduction followed by an introduction to predicate logic, concentrating on translation. Note: Not open to students with credit in PHIL 220.
|
|