循環論法に見えるけど合ってる。そんな回りくどい
やり方をする必要はないが、正しいか間違いかで言えば正しい。

¬¬¬Pの場合[

.. Pの場合と¬Pの場合に分岐する。

.. Pの場合[ このケースは起きないことを示す ]
.. ¬Pの場合[ 上の場合が起きないので、このケースだけ生き残る ]

]

このように表現してみれば、多少は分かりやすい。具体的に埋めると次のようになる。