¬¬¬Pの場合[ (H1)
.　　Pと¬Pで場合分け
.
.　　Pの場合[ (H2)
.　　　　¬Pと¬¬Pで場合分け
.
.　　　　¬Pの場合[ (H3) この場合はH2,H3により矛盾 ]
.　　　　¬¬Pの場合[ (L) この場合はH1,Lにより矛盾 ]
.
.　　　　どちらも矛盾なので、このケースは矛盾
.　　]
.
.　　¬Pの場合[
.　　　　このケースだけ生存
.　　]
.
]

よって、¬¬¬P ⇒ ¬P である。