古典命題論理は直観主義命題論理の特殊ケースである
直観主義命題論理
に
Kripkeモデル
で意味論を与えた時，
古典命題論理
は直観主義論理の特殊ケースである
と考えることができる
$ \mathcal{M} = \lang W,R,V\rang
について
$ W = \{w\}
，
$ R = \emptyset
とする
メモ
2021年度後期哲学演習I 直観主義論理のメモ