Search for tag: "negation"

More Proofs Using Subproofs

Dr. Smith works through two more examples of proofs using the subproof method.

From  Nathan Smith 0 likes 0  

UsingTruthTables

This video shows how to use truth tables to assess logical concepts such as tautology, contradiction, contingency, logical equivalence, consistency, and validity.

From  Nathan Smith 0 likes 0  

Truth Tables for the Logical Operators

This video explains the truth tables for each of the five operators in sentential logic.

From  Nathan Smith 0 likes 0