最終更新日:2025/11/23

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

正解を見る

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

音声機能が動作しない場合はこちらをご確認ください
編集履歴(0)
元となった例文

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

Sentence quizzes to help you learn to read

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★