Logical System gentzen Example of a Harder Propositional Proof: One of De Morgan's Laws 10/23/06 Example Your browser does not support html5 video. Book traversal links for Another Example of a Harder Sentential Proof: One of De Morgan's Laws ‹ Example of a Harder Sentential Proof Up Tutorial 10: Common Inference Patterns and Rewrite Rules ›