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.3b Logical Truth, Self-contradiction, Contingent

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

Q4.1 Truth Assignment

P4.4 Testing for Validity

Exercises

(these are repeated from the tutorial list above)

4.1a Tables

4.1b More Tables

4.1c Yet More Tables

FLASH Lecture: 4.1 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

4.3a Logical Truth

4.3b Logical Truth, Self-contradiction, Contingent

4.3c Logical Equivalence I

4.3d Logical Equivalence II

FLASH Lecture: 4.3 exercises

4.4a Validity I

4.4b Validity II

4.4c Validity Exercises for Lectures

FLASH Lecture: 4.4 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

4.6a [gold] Proofs I

4.6b [gold] Proofs II