Rigorous Reasoning

Concept · Foundations

Predicate

An expression that attributes a property to an object or a relation among several objects; a one-place predicate applies to a single object, while a relational predicate applies to two or more.

Why it matters

Predicates let logic represent internal sentence structure instead of treating whole statements as unanalyzed propositions.

Where this shows up

Units and lessons using this concept

Following the links will take you to the page where this term is introduced in context.

Related

Other concepts in Foundations

A, E, I, O PropositionsAccessibility RelationArgumentAtomic StatementAuthorial IntentBase RateBayes FactorBurden of Proof in InterpretationCalibrationCardinalityCartesian ProductCategorical Proposition