predicate_calculus

意味・定義

2つの辞書から2件の定義

日本語WordNet

1件

名詞

1述語論理

a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

ライセンス: BSD-style License

AIによる解説

1件

1述語論理。数理論理学の一分野で、述語と量化子を用いて命題を形式化するシステム。

A branch of mathematical logic that uses predicates and quantifiers to formalize propositions and reasoning.

ライセンス: KeyLang Original

例文

この単語を含む例文でタイピング練習ができます

Predicate calculus is fundamental to computer science and AI.

述語論理はコンピュータサイエンスとAIの基礎だ。

She studied predicate calculus in her logic course.

彼女は論理学のコースで述語論理を学んだ。