LOG 201
Logic
Section: 002

Course 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.

GEP

Mathematical Sciences GEP Course

Spring 2025

Instructors

Meeting Patterns

Classes Start:
January 6, 2025
Classes End:
April 22, 2025
Location:
00115 Withers Hall
Class Days:
M W
Class Start Time:
11:45am
Class End Time:
1:00pm

Class Type:
Lecture
Credits:
3.00
Restrictions:
None