2010-04-20から1日間の記事一覧
演繹定理(英: Deduction theorem)とは、数理論理学において、論理式 E から 論理式 F が演繹可能ならば、含意 E → F が証明可能である(すなわち、空集合から演繹可能)、というもの。 公理的命題論理では、公理図式として次のものを使うのが一般的である…
演繹定理(英: Deduction theorem)とは、数理論理学において、論理式 E から 論理式 F が演繹可能ならば、含意 E → F が証明可能である(すなわち、空集合から演繹可能)、というもの。 公理的命題論理では、公理図式として次のものを使うのが一般的である…