MATH 311 Symbolic Logic
Sentential connectives, symbolization of everyday language, quantification, general theory of inference, theory of definition, formal and informal proof.
PRQ: MATH 107 or equivalent.
Scheduled: As needed.
Meets: LMNO
Attributes
- Meets science and math requirements
- May be used for major requirement
- May be used for minor requirement