---
tag: SERN6CRVWW
kind: concept
name: Monadic predicate calculus
aliases: [first-order-monadic-predicate-logic, monadic-first-order-logic, monadic-first-order-logic-of-order, monadic-logic, monadic-predicate-logic]
sources:
  - wikipedia: en:8015680@r1371775840
    locator: Monadic predicate calculus
    note: adopted
    mention: wikipedia://en/8015680
    sections: [Summary]
same_as:
  wikidata: Q6897882
  wikipedia: Monadic predicate calculus
inventory: [5SSXBYC1X5]
---

## Summary

In logic, the **monadic predicate calculus** (also called **monadic first-order logic**) is the fragment of **[[first-order logic|086QKPF0A6]]** (also called **predicate calculus**) in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbols. In other words, all atomic formulas are of the form $P(t)$, where $P$ is a relation symbol and $t$ is a term.