LOG 201 - Logic

Description
Introduction to methods of deductive inference. Concepts of inconsistency and entailment. Truth Functional Statement Logic and Quantifier and Predicate Logic. Representation of logically significant forms of statements and arguments. Construction of proofs using methods of natural deduction.
Credits
3
Recent Professors
Open Seat Checker
Schedule Planner
Recent Semesters
Fall 2019, Spring 2019, Fall 2018, Spring 2018
Offered
TuTh, MWF
Avg. Class Size
43
Avg. Sections
1