monadic predicate logic
plural of bague
(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.
Not insightful.
(pathology) The formation of blastomas
すべての述語記号が単項（すなわち1つの引数しか取らず）、関数記号が存在しない述語論理の断片に関する研究は、多くの判定可能性の問題が完全な述語計算よりも簡単であることを示している。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
