「predicate calculus」のレベル別の例文
- 中学
- 高校・英検2級
Researchers can use predicate calculus to represent complex statements precisely.
- TOEIC・ビジネス
The software team uses predicate calculus to verify database rules automatically.
- 日常会話
Can predicate calculus handle relationships between these objects?
「 predicate calculus」のコアイメージ コアイメージ
述語論理は対象の性質や関係を述語で表し推論を行う形式体系
「predicate calculus」のよく使う型
「predicate calculus」とよく一緒に使う語
「predicate calculus」のよくある間違い
✕ predicate calculation
○ predicate calculus
この分野の用語は calculation ではなく calculus を使う。
「 predicate calculus」の英英 英英
A formal logical system that represents properties and relations by predicates and supports formal inference using variables and quantifiers.
「 predicate calculus」の語源 語源
predicate calculusは、'predicate'（述語、対象の性質を示す語）と'calculus'（形式的な計算体系）を組み合わせた語で、19〜20世紀の数理論理の発展過程で論理体系を指す用語になった
「 predicate calculus」のコラム コラム
- calculusは数学の微積分と同じ語だが述語論理では形式体系を意味し、一階述語論理など具体的な体系名とともに用いられる
「predicate calculus」のよくある質問
Q. predicate calculusは可算名詞ですか？
一般に学問分野や論理体系を指すときは不可算名詞として使います。ただし、特定の形式体系を指して a predicate calculus とする用例もあります。
Q. predicate calculusのpredicateは何を指しますか？
対象の性質や対象どうしの関係を表す論理上の表現を指します。日本語では一般に「述語」と訳します。
Q. predicate calculusはどんな場面で使われますか？
数学や計算機科学で、対象の性質や関係を含む命題を厳密に表すときに使われます。人工知能やデータベースの研究でも用いられます。