Unit 4 | ifpthenq.net

Unit 4: Truth Tables and Truth Trees

Intro to Truth Tables

Videos

4.1 Intro: Truth Tables

4.1 Complex Formulas

Exercises:
4.1 Table Rules (Speed)
4.1 Entailment (Multiple Choice)

Truth Tables for Validity and Entailment

Videos

4.3 Tables for Validity

4.3 Entailment and More

Exercises:
4.3 Validity (Multiple Choice)

True/False Questions

Videos

4.4 True/False Answers

Exercises:
4.4 T/F Questions about Tautologies, Contradictions, Etc.

Intro to Truth Trees

Videos

Intro: Truth Trees

4.5 Answer for #25

4.5 Answer for #26

4.5 Answer for #27

Exercises:
4.5 Tree Construction (Multiple Choice)

Note: The red cubes are for the benefit of my Saturday "hybrid" classes. They indicate required videos. Their content is not necessarily more important, but they include things which we may not cover in the classroom.

ifpthenq.net Intro to Symbolic Logic

Intro to Symbolic Logic