Propostional and first-order predicate logic; logical structure of arguments; symbolic languages; correct and incorrect inferences; fallacies; truth-tables; natural deduction.
Last Offered
Fall 2025, Spring 2025, Fall 2024, Spring 2024