PHI 250

Symbolic Logic ((3 credit hours))

Kentucky Community and Technical College System · UGRD · Fall 2026

1 section
Add to a schedule

Catalog description

Introduces students to the methods of formal deductive logic with emphasis upon applications to mathematics, computer science, and/or legal reasoning. Covers the language and rules of formal logic as well as techniques of formal proof. Lecture: 3.0 credits (45 contact hours).

Sections

Current meeting, instructor, credit, and enrollment details

Updated 3 hours ago

001

Availability not recently verified
Class #kctcs-1740Fall 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?