domain of discourse（（述語論理において）量化記号が作）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

domain of discourse

(logic) In predicate logic, an indication of the relevant set of entities that are being dealt with by quantifiers.

日本語の意味

（述語論理において）量化記号が作用する対象となる集合を示す概念 / 論理学において、議論の対象となる領域または集合を指す用語

When formalizing the theory, we must clearly specify the domain of discourse to avoid ambiguity in the quantifiers.

理論を形式化する際には、量化子のあいまいさを避けるために論域を明確に定める必要がある。

活用形複数形

plural of domain of discourse

原形: domain of discourse

日本語の意味

論理学や集合論などで議論の対象となる個々の対象集合（複数形）。つまり、各コンテキストや論理体系において考察される対象の領域を指します。 / それぞれの文脈における『議論対象の領域』または『取り扱われる対象集合』の複数形。

When comparing different logical systems, it's important to specify their domains of discourse to avoid ambiguity.

異なる論理体系を比較する際には、曖昧さを避けるために各々の論域を明確にすることが重要です。

Webで検索する