JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

first order logic

一階論理; 第一階論理
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

日英・英日専門用語辞書

日中韓辭典研究所

first order logic

一階論理

Wiktionary英語版

出典：Wiktionary

first-order logic

出典:『Wiktionary』 (2026/08/15 22:24 UTC 版)

名詞

first-order logic (countable and uncountable, plural first-order logics)

  1. (logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

同意語

上位語

ウィキペディア英語版

出典：Wikipedia

First-order logic

出典:『Wikipedia』 (2011/06/18 20:40 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

First-order logic is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first-order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less precise term). First-order logic is distinguished from propositional logic by its use of quantifiers; each interpretation of first-order logic includes a domain of discourse over which the quantifiers range. The adjective "first-order" is used to distinguish first-order theories from higher-order theories in which there are predicates having other predicates or functions as arguments or in which predicate quantifiers or function quantifiers are permitted or both. In interpretations of first-order theories predicates are associated with sets. In interpretations of higher order theories they may be also associated with sets of sets.

First-order Logicのページの著作権