23:25 duration 23 minutes 25 seconds
Truth Tables for the Logical Operators
This video explains the truth tables for each of the five operators in sentential logic.
24:43 duration 24 minutes 43 seconds
UsingTruthTables
This video shows how to use truth tables to assess logical concepts such as tautology, contradiction, contingency, logical equivalence, consistency, and validity.
12:22 duration 12 minutes 22 seconds
More Proofs Using Subproofs
Dr. Smith works through two more examples of proofs using the subproof method.