MATH 311 Symbolic Logic

(XL: PHIL 311) Sentential connectives, symbolization of everyday language, quantification, general theory of inference, theory of definition, formal and informal proof. PRQ: MATH 107 or equivalent. Scheduled: On request. Meets: LMNO.

Credits

3

Attributes

  • Meets science and math requirements
  • May be used for major requirement
  • May be used for minor requirement

Distribution

M, N, O