Definisjon: Predikat
Test deg selv
Hvilke av disse uttrykkene er predikater?
Uttrykket «$4x = 12$» er et predikat. Her er $x$ en plassholder. Uttrykket blir sant eller usant når vi setter inn et tall for $x$.
Uttrykket «$5 - 1 = 4$» er ikke et predikat, for det inneholder ingen plassholdere.
Uttrykket «$\circ$ liker $\bullet$» er et predikat som blir sant eller usant når vi setter inn verdier for plassholderne $\circ$ og $\bullet$.
Uttrykket «$5$ er et partall» er ikke et predikat, for det inneholder ingen plassholdere.
Uttrykket «$\square$ er et oddetall» er et predikat som blir sant eller usant når vi erstatter plassholderen $\square$ med et tall.
Uttrykket «$\bigstar$ er hovedstaden i $\triangle$» er et predikat som blir sant eller usant når vi erstatter plassholderne $\bigstar$ og $\triangle$ med passende verdier, for eksempel navnet på en by og navnet på et land.