This video provides an introduction to subproofs: conditional proof and indirect proof. The video provides several examples of proofs using the subproof method.
This video walks through some short proofs in sentential logic, using the basic rules for proof.
© 2009-2020 Houston Community College. Copyright Notices