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