無矛盾律
$ \vdash \lnot (\lnot P \land P)
のこと。
証明・反証不能性への疑義 | 無矛盾律 - Wikipedia
には証明できないとあるが、
直観論理
なら証明できるぞ
https://kakeru.app/36fc6b59db8a243622bbe1286ff3d029 https://i.kakeru.app/36fc6b59db8a243622bbe1286ff3d029.svg
#2021-03-29
22:27:14