Search for tag: "rules"

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 4 Years ago 0 likes 0  

SomeBasicProofs

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

From  Nathan Smith 4 Years ago 0 likes 0  

BasicConceptofProofs

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…

From  Nathan Smith 4 Years ago 0 likes 0