1. ~(X V Y)// ~X V ~Y

2. [  X  가정

3. {  Y  가정

4. X & Y  2,3, &도입

5. ~(X V Y) } 1, 반복

6. ~Y  ]   3, ~도입

7. X->Y  2-6, ->도입

8. [  ~X  가정

9. ~X  8, 반복

10. ~X V ~Y  9, V도입

11. X V ~X 

12. ~X V ~Y  7,10,11, 경우에 의한 논증