monadic predicate logic

名词 n.

英文释义

名词 n.
  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.

词形变化

monadic predicate logics plural
0 次浏览 数据来源: Wiktionary