演繹定理

ウィキペディア

演繹定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/08/19 16:15 UTC 版)

演繹定理（えんえきていり、英: Deduction theorem）とは、数理論理学において、論理式 E から 論理式 F が演繹可能ならば、含意 E → F が証明可能である（すなわち、空集合から演繹可能）、というもの。記号的に表すと、$E\vdash F$ ならば、$\vdash E\rightarrow F$ である。