LOG 201

Logic

North Carolina State University · UGRD · Fall 2026

1 section

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

Sections

Current meeting, instructor, credit, and enrollment details

Updated 6 hours ago

001

Availability not recently verified

Class #north_carolina_state-3431Fall 2026UGRD

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?