古典論理上の定理を直観論理へ移植する
以下の定理が常に成り立つ
任意の命題$ Pが古典論理上の定理なら、$ \lnot\lnot Pは直観論理上の定理である
これは直観論理からみた、古典論理の重要な解釈の一つだろうtakker.icon
証明の仕方
古典論理の推論規則中の命題変数全てに$ \lnot\lnotを適用したものが直観論理上で証明可能であることを示せばいい
#2021-03-29 22:49:08