二重否定導入
$ P \vdash \lnot\lnot P
のこと。
二重論理否定
を導入するだけなら、
直観論理
でも可能である
https://kakeru.app/e70ebe82f82a8eae992525aca73145c6 https://i.kakeru.app/e70ebe82f82a8eae992525aca73145c6.svg
#2021-11-18
16:14:45 タイトルのtypo
#2021-03-29
22:38:05