monadic predicate logic

短语

词形变化

monadic predicate logics 复数 monadic predicate logics

释义与例句

n.
  1. 1.

    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.

    数学 哲学