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.
Attributes
- Meets science and math requirements
- May be used for major requirement
- May be used for minor requirement