CT 100 Week 3. Logic. Week 3 Vocabulary. Vocabulary from week 1 and 2 Contradiction Conclusion Law of excluded middle Law of non-contradiction Boolean Logic Premise. Proposition Syllogism Symbolic logic Tautology Truth table Definitions for the new terms are at the end of chapter 3.
* From A Course in Mathematical Logic by John Bell and Moshe Machover