# monadic predicate logic

## English[edit]

### Noun[edit]

**monadic predicate logic** (*plural* **monadic predicate logics**)

- (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.