---
tag: 0QHEWQD30B
kind: concept
name: Predicate
aliases: [propositional-function]
msc: [03B10]
sources:
  - url: https://en.wikipedia.org/wiki/Predicate_(logic)
    locator: lead section
same_as:
  wikidata: Q1144319
  wikipedia: Predicate (logic)
---

## Summary

A predicate is a statement with variables that becomes a [[proposition|0ZGC7ZESYN]] when each variable gets a value.