Search for tag: "disjunction"

More Proofs Using Subproofs

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

From  Nathan Smith 0 likes 0  

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.

From  Nathan Smith 0 likes 0  

SomeBasicProofs

This video walks through some short proofs in sentential logic, using the basic rules for proof.

From  Nathan Smith 0 likes 0  

Basic Rules for Proofs

This video explains the 7 basic rules of proof for sentential logic.

From  Nathan Smith 0 likes 0