中間論理
中間論理 (英: Intermediate logic) は、数理論理学の分野において古典論理と直観主義論理の中間に位置する論理。 この「中間」という意味は、直観主義論理での恒真な命題は中間論理でも恒真であり、古典論理で恒真でない命題は中間論理でも恒真でない、という意味である。
中間論理 (英: Intermediate logic) は、数理論理学の分野において古典論理と直観主義論理の中間に位置する論理。 この「中間」という意味は、直観主義論理での恒真な命題は中間論理でも恒真であり、古典論理で恒真でない命題は中間論理でも恒真でない、という意味である。
中間論理 (英: Intermediate logic) は、数理論理学の分野において古典論理と直観主義論理の中間に位置する論理。 この「中間」という意味は、直観主義論理での恒真な命題は中間論理でも恒真であり、古典論理で恒真でない命題は中間論理でも恒真でない、という意味である。
出典: Wikipedia「中間論理」 · CC BY-SA 4.0
この記事を共有: X · Bluesky