---
tag: 951E6Z4GCY
kind: concept
name: Polyadic first-order logic
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section P
    note: adopted
    mention: wikipedia://en/76765067#QL76
    sections: [Summary]
inventory: [3BP89YCR0T]
---

## Summary

First-order logic extended to include predicates with more than one argument, allowing for the expression of relations between multiple objects.