12:22
More Proofs Using Subproofs
Dr. Smith works through two more examples of proofs using the subproof method.
20:45
Conditional-IndirectProofs
This video provides an introduction to subproofs: conditional proof and indirect proof. The video provides several examples of proofs using the subproof method.
11:44
SomeBasicProofs
This video walks through some short proofs in sentential logic, using the basic rules for proof.
34:30
Basic Rules for Proofs
This video explains the 7 basic rules of proof for sentential logic.
© 2009-2023 Houston Community College. Copyright Notices