A function-like abstraction that maps a tuple of individuals from some domain to a truth value — the formal counterpart of an open sentence. Unary predicates P(x) express properties; binary predicates R(x, y) express relations; n-ary…
Predicate
Related concepts
- Open sentence
- Proposition
- Quantifier-negation rules (De Morgan for quantifiers)
- Second-order logic
- Löwenheim–Skolem theorem
- Compactness theorem (FOL)
- Löwenheim-Skolem theorems
- Gödel completeness theorem
- Peano arithmetic PA
- ZFC axioms
- Homotopy type theory (HoTT)
- Infrared spectroscopy
- C–H activation & directing groups
- Functional annotation (GO, KEGG)
- Tinbergen's four questions
- DNA methylation / CpG-island framework