Introduction to Formal Logic

3 Credits.

An introduction to symbolic logic and probability. In the first two parts of the course we study formal ways of determining whether a conclusion of an argument follows from its premises. Included are truth-functional logic and predicate logic. In the third part we study the basic rules of probability, and learn how to make probability calculations and decisions in life.