Search for tag: "reduct"

1 Media

Sort by Creation Date - Descending
View All Media

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 on 04/21/2015 0 likes 0

20:45

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 on 04/21/2015 0 likes 0