**CS 388L: Introduction to Mathematical Logic**

- Course Description
- Propositional Formulas: Syntax
- Propositional Formulas: Semantics
- Adequate Sets of Connectives, Normal Forms, and Clausification
- Natural Deduction
- Soundness and Completeness of Natural Deduction
- Predicate Formulas: Syntax
- Predicate Formulas: Semantics
- Introduction and Elimination Rules for Quantifiers
- First-Order Logic: Function Symbols and Equality

Tell me and I forget. Show me and I remember. Involve me and I understand.

(Chinese proverb.)

Rather than knowing the correct rules of thought theoretically, one must have them assimilated into one's flesh and blood ready for instant and instinctive use. Therefore, for the schooling of one's powers of thought only the practice of thinking is really useful.

The imparting of factual knowledge is for us a secondary consideration. Above all we aim to promote in the reader a correct attitude, a certain discipline of thought.

If you are unable to solve a problem, you should not despair. The "Socratic method of teaching" does not aim at drilling people in giving quick answers, but to educate by means of questions.

(From *Problems and Theorems in Analysis* by Pólya and
Szegö.)

Teaching by the Moore method

Back to Lifschitz's web page