PHIL 2303 - Introduction to Formal Logic

Credits: 3

An introduction to symbolic logic, focusing on both propositional and predicate logic, emphasizing the rules of translating language into symbols, the rules of inference and replacement, and the mechanism of reasoning used by computers.

Lecture: 3
Lab: 0
Prerequisite(s): Must be placed into college-level reading (or take GUST 0342 as a corequisite) and be placed into college-level writing (or take ENGL 0310/ENGL 0349 as a corequisite)
Note: Core Curriculum Course.