無矛盾律
$ \vdash \lnot (\lnot P \land P)のこと。
質問
証明・反証不能性への疑義 | 無矛盾律 - Wikipediaには証明できないと書いてあるのがよくわからないtakker.icon
普通に証明できるぞ
/takker/無矛盾律