Chapter Four:
Sentence Logic: Tables and Symbolizations

In this chapter, we utilize the table definitions to analyze SL sentence meaning, clarify our deductive concepts, and clarify symbolization of natural language (English) into SL. Put another way, we're trying to get some value out of SL for understanding the logic of English.

Tutorials

Tutorial One: Simple Truth Tables

Exercises:
4.1a Tables
4.1b More Tables
4.1c Yet More Tables
4.1d Tables for Class
FLASH Lecture: 4.1 exercises

Tutorial Two: Full Truth Tables

Exercises:
4.2a Full Tables I
4.2b Number of Rows
4.2c Full Tables II
4.2d Full Tables III
FLASH Lecture: 4.2 exercises

Tutorial Three: Tests of concepts: Logical truth and Equivalence

Exercises:
4.3a Logical Truth
4.3c Logical Equivalence I
4.3d Logical Equivalence II
FLASH Lecture: 4.3 exercises

Tutorial Four: Tests of concepts: Validity

Exercises:
4.4a Validity I
4.4b Validity II
4.4c Validity Exercises for Lectures
FLASH Lecture: 4.4 exercises

Tutorial Five: Third pass at Symbolization

Exercises:
4.5a Multiple Choice
4.5b Symbolizations
4.5c Lots of Symbolizations
4.5d Symbolzations with Names
4.5e Symbolizations to help with Chapter Five
4.5f Symbolizations for Lecture
FLASH Lecture: 4.5 exercises

Tutorial Six: [gold] Truth functional and Non-truth functional Logic

Exercises:
4.6a [gold] Proofs I
4.6b [gold] Proofs II

Reference

Chapter Four Reference

Quizzes and Presentations