Category:Definitions/Predicates

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Predicates.
Related results can be found in Category:Predicates.


The predicate of a simple statement in logic is the part of the statement which defines what is being said about the subject.

It is a word or phrase which, when combined with one or more names of objects, turns into a meaningful sentence.


The predicate of a simple statement is atomic in predicate logic.


The subject and predicate of a simple statement are referred to as its terms.

Subcategories

This category has only the following subcategory.