Logical System bergmann 6/2/09 Negation Introduction, Simple Reductio Advanced Reductio via Negation Elimination
