意味 |
deduction theoremとは 意味・読み方・使い方
追加できません
(登録数上限)
意味・対訳 演繹定理
Wiktionary英語版での「deduction theorem」の意味 |
deduction theorem
出典:『Wiktionary』 (2011/10/03 00:05 UTC 版)
名詞
deduction theorem (複数形 deduction theorems)
- (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 to an inference of the form or vice versa, where is the turnstile symbol. The validity of the procedure is a metatheorem of the given logical theory.
|
意味 |
|
deduction theoremのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | |
All Rights Reserved, Copyright © Japan Science and Technology Agency | |
Copyright © 2024 CJKI. All Rights Reserved | |
Copyright © 2024 Cross Language Inc. All Right Reserved. | |
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのdeduction theorem (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「deduction theorem」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |