Last Updated：2025/11/23
(logic) The fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
monadic predicate logic
Edit Histories（0）
Source Word
monadic predicate logic
（ plural ）
