コンピューター用語辞典

日外アソシエーツ株式会社

deduction theorem

演繹定理

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

deduction theorem

演繹定理

日英・英日専門用語辞書

日中韓辭典研究所

deduction theorem

演繹定理

Wiktionary英語版

出典：Wiktionary

deduction theorem

出典:『Wiktionary』 (2011/10/03 00:05 UTC 版)

名詞

deduction theorem (複数形 deduction theorems)

  1. (logic) A procedure for "discharging" assumptions from an inference, causing them to become antecedents of the conclusion; or vice versa. Symbolically, the conversion of an inference of the form P, A \vdash C to an inference of the form P \vdash A \rightarrow C or vice versa, where \vdash is the turnstile symbol. The validity of the procedure is a metatheorem of the given logical theory.
    The deduction theorem reveals the relationship between logical entailment and material implication: it allows to one to "pack" or "record" an inference into a tautology, and conversely, to "unpack" or "play back" a tautology as an inference process.

参考

deduction theoremのページの著作権