Logical System gentzen Example of a Harder Propositional Proof 2/27/06 Example Your browser does not support html5 video. Book traversal links for Example of a Harder Sentential Proof ‹ Help with Or Elimination and Bi-conditional Introduction Up Another Example of a Harder Sentential Proof: One of De Morgan's Laws ›