---
tag: DQBA0AYRHD
kind: concept
name: Pure first-order logic
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section P
    note: adopted
    mention: wikipedia://en/76765067#LZ2P
    sections: [Summary]
inventory: [E61KNBB5WZ]
---

## Summary

The system of first-order logic that contains no function symbols or identity, only predicate symbols.