意味 | 例文 (1件) |
Empty domainとは 意味・読み方・使い方
追加できません
(登録数上限)
ウィキペディア英語版での「Empty domain」の意味 |
Empty domain
出典:『Wikipedia』 (2009/08/09 01:42 UTC 版)
In first-order logic the empty domain is the empty set having no members. In traditional and classical logic domains are restrictedly non-empty in order that certain theorems be valid. Interpretations with an empty domain are shown to be a trivial case by a convention originating at least in 1927 with Bernays and Schönfinkel (though possibly earlier) but oft-attributed to Quine 1951. The convention is to assign any formula beginning with a universal quantifier the value truth while any formula beginning with an existential quantifier is assigned the value falsehood. This follows from the idea that existentially quantified statements have existential import (i.e. they imply the existence of something) while universally quantified statements do not. This interpretation reportedly stems from George Boole in the late 19th century but this is debatable. In modern model theory, it follows immediately for the truth conditions for quantified sentences:
「Empty domain」の部分一致の例文検索結果
該当件数 : 1件
Return a fully qualified domain name for name.If name is omitted or empty, it is interpreted as the localhost.発音を聞く 例文帳に追加
nameの完全修飾ドメイン名を返します。 - Python
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
1
empty function
Wiktionary英語版
2
antilocal
Wiktionary英語版
3
distancy
Wiktionary英語版
4
wandering set
Wiktionary英語版
5
philanthropistic
Wiktionary英語版
6
well-founded
Wiktionary英語版
7
cultch
Wiktionary英語版
8
unnest
Wiktionary英語版
10
doffer
Wiktionary英語版
|
意味 | 例文 (1件) |
Empty domainのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのEmpty domain (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「Empty domain」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |