| 意味 | 例文 (1件) |
substitution instanceとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
Wiktionary英語版での「substitution instance」の意味 |
substitution instance
出典:『Wiktionary』 (2026/05/21 21:26 UTC 版)
名詞
substitution instance (plural substitution instances)
- (logic) A well-formed formula (wff) that has a constant term in place of a variable; expressed as Q(a/x), where the resulting wff is identical to Q except that the constant a takes the place of every free occurrence of the variable x.
-
1972, Alonzo Church, Introduction to Mathematical Logic, Princeton University Press, page 78:
-
使用する際の注意点
Substitution instances are fundamental to the rules of universal instantiation and existential generalization. The notation Q(a/x) is read as "Q with a substituted for x." The term a must be free for x in Q, meaning that no free variable in a becomes bound by a quantifier in Q after substitution. e.g. If Q is the wff P(x) → ∃y R(x,y), then Q(c/x) is P(c) → ∃y R(c,y).
反意語
「substitution instance」の部分一致の例文検索結果
該当件数 : 1件
An instance 33 receives a contents acquisition request signal from a contents request pier to a contents owning pier, and when the specified contents have been already stored in a cache storage 35, returns a contents acquisition response signal as a substitution of the specified contents owning pier.例文帳に追加
インスタンス３３は、コンテンツ要求ピアからコンテンツ所有ピアへのコンテンツ取得要求信号を受信し、指定コンテンツがキャッシュ用ストレージ３５に既に格納されている場合、指定されたコンテンツ所有ピアの代わりにコンテンツ取得応答信号を返送する。 - 特許庁
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
|
| 意味 | 例文 (1件) |
|
|
substitution instanceのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのsubstitution instance (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
閲覧履歴
 | 「substitution instance」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
