最終更新日:2025/11/23
例文

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

復習用の問題

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.

音声機能が動作しない場合はこちらをご確認ください

関連する単語

monadic predicate logic

名詞
日本語の意味
単項述語論理:全ての述語記号が単項(1つの引数のみを取る)で構成され、関数記号が存在しない述語論理の一部分
このボタンはなに?

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

関連語

英語 - 英語

項目の編集設定
  • 項目の編集権限を持つユーザー - すべてのユーザー
  • 項目の新規作成を審査する
  • 項目の編集を審査する
  • 項目の削除を審査する
  • 重複の恐れのある項目名の追加を審査する
  • 項目名の変更を審査する
  • 審査に対する投票権限を持つユーザー - 編集者
  • 決定に必要な投票数 - 1
例文の編集設定
  • 例文の編集権限を持つユーザー - すべてのユーザー
  • 例文の削除を審査する
  • 審査に対する投票権限を持つユーザー - 編集者
  • 決定に必要な投票数 - 1
問題の編集設定
  • 問題の編集権限を持つユーザー - すべてのユーザー
  • 審査に対する投票権限を持つユーザー - 編集者
  • 決定に必要な投票数 - 1
編集ガイドライン

ログイン / 新規登録

 

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

DiQt(ディクト)

無料

★★★★★★★★★★