Search for tag: "disjunction"

4 Media

12:22 More Proofs Using Subproofs More Proofs Using Subproofs	More Proofs Using Subproofs Dr. Smith works through two more examples of proofs using the subproof method. phil 2303 logic proof assumption introduction premise lines contradiction negation subgroup conclusion elimination b. thing statement bit opposite conjunction side antecedent alright disjunction From Nathan Smith 0 likes 0
20:45 Conditional-IndirectProofs Conditional-IndirectProofs	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. phil 2303 logic proof assumption introduction elimination subgroup lines side proofs premises disjunction conclusion contradiction age q. alright rules reduct opposite thing expression From Nathan Smith 0 likes 0
11:44 SomeBasicProofs SomeBasicProofs	SomeBasicProofs This video walks through some short proofs in sentential logic, using the basic rules for proof. logic phil 2303 elimination conjunction disjunction rule proof rules step proofs lines bi t. alright introduction process disjunct premises thing couple biconditional h. From Nathan Smith 0 likes 0
34:30 Basic Rules for Proofs Basic Rules for Proofs	Basic Rules for Proofs This video explains the 7 basic rules of proof for sentential logic. phil 2303 logic elimination conjunction truth rules disjunction table b. statement 's introduction rule component proof sentence side lines m. thing necessity a. From Nathan Smith 0 likes 0