Grading Method: LCR: Letter Grade with Cr/NC available. The grading default for the class will be letter grade, but students can opt to take it for Cr/NC
Principles of inference for symbolic deductive systems; connectives, quantifiers, relations and sets. Interpretations of deductive systems in mathematics, science and ordinary language.
Maximum Credits: 3 Note: Not open to students with credit in MATH 523.
