functional_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述語論理（述語計算）。命題論理を拡張し、変数、述語、量化子を扱う論理体系。数学基礎論や計算機科学で重要な役割を果たす。

Predicate logic or predicate calculus - a formal logic system extending propositional logic with variables, predicates, and quantifiers. Essential in mathematical foundations and computer science.

ライセンス: KeyLang Original

例文

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

Functional calculus is fundamental to mathematical logic.

述語論理は数理論理学の基礎である。

The theorem was proven using first-order functional calculus.

その定理は一階述語論理を使って証明された。