翻訳と辞書
Words near each other
・ 存在文
・ 存在理由
・ 存在者
・ 存在者 (2015年)
・ 存在者 (2015年の映画)
・ 存在解釈学
・ 存在記号
・ 存在証明サービス
・ 存在論
・ 存在論的、郵便的―ジャック・デリダについて
存在量化
・ 存在量化子
・ 存在限定子
・ 存在限量子
・ 存在限量記号
・ 存外
・ 存如
・ 存廃
・ 存廃問題
・ 存心持敬


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

存在量化 : ミニ英和和英辞書
存在量化[そんざい]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

存在 : [そんざい]
  1. (n,vs) existence 2. being 
: [りょう]
 1. amount 2. volume 3. portion (of food) 4. basal metabolic rate, quantity
: [か]
 (suf) action of making something

存在量化 ( リダイレクト:量化 ) : ウィキペディア日本語版
量化[りょうか]
量化(りょうか、)とは、言語論理学において、論理式が適用される(または満足される)議論領域の個体の「量」を指定すること。
== 概要 ==
例えば、算術において、「全ての自然数にはその次の数が存在する」と言った場合、あるいは論理学で、「ある議論領域に特定の属性をもつ事象が少なくとも1つ存在する」と言った場合、いずれも量化を行っている。量化を伴う言語要素を量化子(quantifier)と呼ぶ。量化子を使った表現は量化されており、述語や関数の自由変項を量化子によって束縛することで量化が行われる。量化は自然言語でも形式言語でも行われる。自然言語での量化子の例として、「全ての」、「いくつかの」、「多くの」、「一部の」などがある。形式言語では、量化は(論理)式の構成要素の一部であり、ある式から別の式を生成する。言語の意味論によって、それら構成要素が妥当性の範囲でどう解釈されるかが指定される。量化は変項束縛操作の一例である。
述語論理における2種類の基本的量化として、全称量化存在量化がある。これらの詳細は各項目にあるので、ここでは両者に共通する量化の概念を述べる。
全称量化子は、"A" を逆さにした "∀" で表される。存在量化子は、"E" を裏返しにした "∃" で表される。これらの量化子は、Mostowski と Lindström の研究を端緒として一般化されていった。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「量化」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Quantification 」があります。




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.