Symbolic Logic I

Catalog description

Class Hours: 3 Lab/Discussion: 0 Credits: 3 Description: Introduces students to the study of formal patterns of good reasoning. Topics include symbolizing English sentences in an artificial language, distinguishing between the semantics and syntax of that language, and learning to test for logical properties and relations using semantic methods (truth-tables, models) and syntactic methods (derivations). Students with an interest in computer science and mathematics will find the material of particular interest and use.