12:22 duration 12 minutes 22 seconds
More Proofs Using Subproofs
Dr. Smith works through two more examples of proofs using the subproof method.
20:45 duration 20 minutes 45 seconds
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 duration 11 minutes 44 seconds
SomeBasicProofs
This video walks through some short proofs in sentential logic, using the basic rules for proof.
34:30 duration 34 minutes 30 seconds
Basic Rules for Proofs
This video explains the 7 basic rules of proof for sentential logic.