Definition talk:Discharged Assumption

List of proof rules
We could stick to standard ones:


 * Rule of Implication
 * Proof by Contradiction
 * Reductio ad Absurdum
 * Or-Elimination.

I imagine there might be one or two more for predicate calculus.

What other rules discharge assumptions? --Dfeuer (talk) 18:41, 6 April 2013 (UTC)


 * Can't remember off-hand, not worth bothering with. Keep pages minimal is my view. --prime mover (talk) 19:43, 6 April 2013 (UTC)