Symbolic Logic

GRS PH 633

Study of methods characteristic of modern deductive logic including use of truth tables, Boolean normal forms, models, and indirect and conditional proofs within the theory of truth-functions and quantifiers.

SPRG 2015 Schedule

Section Instructor Location Schedule Notes
A1 Floyd CAS 235 TR 12:30 pm-2:00 pm Mts w/CAS PH360
Class Full

Note that this information may change at any time. Please visit the Student Link for the most up-to-date course information.