Logical System gentzen Example of a difficult derivation 6/1/09 [need to check] Your browser does not support html5 video. Book traversal links for Further help with Reductio ‹ Help with Reductio ad Absurdum Up Tutorial 9: The Remaining Propositional Rules of Inference ›