Predicate (mathematical logic)
id:
predicate-mathematical-logic-204-5763131
title:
Predicate (mathematical logic)
text:
In logic, a predicate is a symbol that represents a property or a relation. For instance, in the first-order formula P, the symbol P is a predicate that applies to the individual constant a. Similarly, in the formula R, the symbol R is a predicate that applies to the individual constants a and b. According to Gottlob Frege, the meaning of a predicate is exactly a function from the domain of objects to the truth values "true" and "false". In the semantics of logic, predicates are interpreted as r
brand slug:
wiki
category slug:
encyclopedia
description:
Symbol representing a property or relation in logic
original url:
https://en.wikipedia.org/wiki/Predicate_(mathematical_logic)
date created:
2003-07-31T06:22:00Z
date modified:
2024-09-10T10:10:17Z
main entity:
{"identifier":"Q1144319","url":"https://www.wikidata.org/entity/Q1144319"}
image:
fields total:
13
integrity:
15