演繹定理
演繹定理（えんえきていり、英: Deduction theorem）とは、数理論理学において、論理式 E から 論理式 F が演繹可能ならば、含意 E → F が証明可能である（すなわち、空集合から演繹可能）、というもの。 記号的に表すと、 E ⊢ F {\displaystyle E\vdash F} ならば、 ⊢ E → F {\displaystyle \vdash E\rightarrow F} である。
演繹定理（えんえきていり、英: Deduction theorem）とは、数理論理学において、論理式 E から 論理式 F が演繹可能ならば、含意 E → F が証明可能である（すなわち、空集合から演繹可能）、というもの。 記号的に表すと、 E ⊢ F {\displaystyle E\vdash F} ならば、 ⊢ E → F {\displaystyle \vdash E\rightarrow F} である。
演繹定理（えんえきていり、英: Deduction theorem）とは、数理論理学において、論理式 E から 論理式 F が演繹可能ならば、含意 E → F が証明可能である（すなわち、空集合から演繹可能）、というもの。 記号的に表すと、 E ⊢ F {\displaystyle E\vdash F} ならば、 ⊢ E → F {\displaystyle \vdash E\rightarrow F} である。
出典: Wikipedia「演繹定理」 · CC BY-SA 4.0
この記事を共有: X · Bluesky