monadic predicate logic（単項述語論理：全ての述語記号が単）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

monadic predicate logic

日本語の意味

単項述語論理：全ての述語記号が単項（1つの引数のみを取る）で構成され、関数記号が存在しない述語論理の一部分

Research on monadic predicate logic shows that many decidability problems are simpler than in the full predicate calculus.

すべての述語記号が単項（すなわち1つの引数しか取らず）、関数記号が存在しない述語論理の断片に関する研究は、多くの判定可能性の問題が完全な述語計算よりも簡単であることを示している。

活用形複数形

plural of monadic predicate logic

日本語の意味

単項述語論理の複数形。

Graduate students studying the history of logic often compare various monadic predicate logics to understand their expressive power.

論理学の歴史を学ぶ大学院生は、表現力を理解するために、さまざまな単項述語論理を比較することが多い。

Webで検索する