0, or successful completion of ACRD-080. A study of the tools and methods of modern symbolic logic to analyze and evaluate arguments. Two different methods are introduced to distinguish valid from invalid arguments. Symbolic representation of statements and proof procedures for the validity of arguments are emphasized. Course
Prerequisites: ACRD-090, ACRD-091, ACRD-092, ELAP-110, ACRD-080