Save To Worklist

PHIL 220 Symbolic Logic I

Sentential and predicate logic. Translation from natural language; truth tables and interpretations; systems of natural deduction up to relational predicate logic with identity; alternative proof methods. Some sections may use computer-based materials and tests.

This course is not eligible for Credit/D/Fail grading.

Credits: 3


Status Section Activity Term Interval Days Start Time End Time Comments
PHIL 220 001Web-Oriented Course1 Tue9:3011:00
Web-Oriented Course1 Thu11:0012:30