MAT 241 : Logic

---

Primarily intended for liberal arts majors. This course includes a study of the semantic tableau of Beth and Smullyan and the context-free grammars of Chomsky are used to motivate logic. Provability and argumentation are investigated. Sentence logic and predicate logic are studied. Prerequisite: None.

[Previous]	MAT 229 : Problems Seminar I
[Next]	MAT 261 : Introduction to Abstract Mathematics (*)
[Up]	Logic, Foundations, History
[Home]	Home Page
[Mail]	Send EMail to Maine Math Talent Search
[Contents]	Maine Math Talent Search Contents

Last modified on Tuesday, January 12, 1999