PHIL 1100 - Logic

3 cr. 3 hr. Day course offered every Semester. Also offered evenings.

The course introduces techniques for analyzing the structure and validity of arguments in a natural language, such as English, as well as the concepts and principles of validity. Emphasis is on truth-functional and quantification inference, and a procedure in formal systems. SMT