---
tag: D1FV51NZ4F
kind: concept
name: Pure predicate logic
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section P
    note: adopted
    mention: wikipedia://en/76765067#TES2
    sections: [Summary]
inventory: [6619E8S0RV]
---

## Summary

See pure first-order logic.