中間論理
(Intermediate logic から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/08/31 03:42 UTC 版)
Jump to navigation Jump to search | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（2017年7月） |
中間論理(Intermediate logic)は、数理論理学の分野において古典論理と直観主義論理の中間に位置する論理。
この「中間」という意味は、大まかに言うと直観主義論理での恒真な命題は中間論理でも恒真であり、古典論理で恒真でない命題は中間論理でも恒真でない、という意味である。
定義
ある論理式の集合Lが中間論理であるとは、Lが以下を満たすことを言う。
- 直観主義論理の公理は全てLに含まれる。
- FとGが論理式で、FとF→GがLに含まれるならばGもLに含まれる。
- Fが論理式で、FがLに含まれるならば、F中に現れる命題変数に任意の論理式を代入した論理式もLに含まれる。
- Fが論理式で、Fが古典論理の定理でないならば、FはLに含まれない。
- 中間論理のページへのリンク
