Dummettの法則
メモ
$ (\varphi\to\psi) \lor (\psi\to\varphi)
性質
排中律を用いた簡単な証明がある．すなわち古典論理では成り立つ．
$ \varphi\land\lnot\varphi\implies(\varphi\to\psi)\lor(\psi\to\varphi)
一方，直観主義論理では排中律は認めないのでこの証明法は使えない
一般に直観主義論理では成り立たない
二重否定除去と同等のことを言っている
直観主義命題論理$ \sf iPLにこれを追加した論理はGödel-Dummet論理$ \sf GDという．
参考
/takker/Dummettの法則
戸次 大介; "数理論理学"