quantificational logicの意味・使い方・読み方 | Weblio英和辞書

意味

Wiktionary英語版

出典：Wiktionary

quantificational logic

出典:『Wiktionary』 (2026/05/22 03:37 UTC 版)

名詞

quantificational logic (uncountable)

(logic) The logic of sentences involving quantifiers, predicates, and names; the branch of logic that investigates the properties that arguments, sentences, and sets of sentences have in virtue of their quantificational structure.
- 1990, Willard Van Orman Quine, Philosophy of Logic, 2nd edition, Harvard University Press, page 35:
  
  Classical quantificational logic is the logic of quantifiers 'all' and 'some' in combination with truth functions.

使用する際の注意点

Quantificational logic is also known as first-order logic or predicate logic. It extends propositional logic by introducing quantifiers (∀, ∃), variables, and predicates, allowing the internal structure of atomic sentences to be analyzed.

同意語

反意語

関連する語

参考

調べた例文を記録して、効率よく覚えましょう

Weblio会員無料で登録できます

履歴機能過去に調べた単語を確認できる

語彙力診断診断回数が4回に増加

マイ単語帳便利な学習機能付き

マイ例文帳文章で意味を理解できる

Weblio会員登録(無料)はこちらから▶

閲覧履歴

検索結果に戻る

全履歴クリア

・quantificational logic
・with Drew

単語帳に追加

quantificational logicのページの著作権

Wiktionary
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのquantificational logic (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。