|
This video shows how to use truth tables to assess logical concepts such as tautology, contradiction, contingency, logical equivalence, consistency, and validity.
|
|
This video walks through some short proofs in sentential logic, using the basic rules for proof.
|
|
Dr. Smith works through two more examples of proofs using the subproof method.
|
|
This video provides a general overview of the concept of proofs in sentential logic. It demonstrates the use of a proof in a natural language (English) setting and it introduces the basic procedure…
|
|
This video explains the 7 basic rules of proof for sentential logic.
|