直観主義論理
直観主義論理(ちょっかんしゅぎろんり、英: intuitionistic logic)
構成的論理(constructive logic)ともいうらしい
関連する人
直観主義論理では
$ P \ \lor \ \lnot P （P であるか、または P でない）のやつ
$ \lnot\lnot p → p の演算ができるかどうかのやつ
$ \lnot を2回適用すると否定が消えるやつ
(英語なのできつい)
『形式手法教科書』が日本語文献でかなりわかりやすく書かれてるのでこっちの方がおすすめだった 確認用
Q. 直観主義論理
Q. 排中律
関連
参考
メモ
数学の哲学において、直観主義（ちょっかんしゅぎ、英: Intuitionism）とは、数学の基礎を数学者の直観におく立場のことを指す。
?????