Eksempel og representasjon
For hver av disse predikatene, bytt ut plassholderne ($x$, $y$ og $z$) med elementer fra mengden spesifisert i parentes på to måter; både slik at det er naturlig å tolke utsagnet du da får som sant, og slik at det er naturlig å tolke utsagnet du da får som usant.
- $x$ er en IN1150-student. (Mengden av studenter.)
- $y$ er lik $3 \cdot 5$. ($\mathbb{Z}$, mengden av heltall)
- $x$ er lik $\frac{y}{2}$. ($\mathbb{Q}$, mengden av brøktall / rasjonale tall)
- $x$ er mindre enn $y$ som igjen er mindre enn $z$. ($\mathbb{R}$, mengden av reelle tall)
- $x$ går i bane rundt $y$. (Mengden av himmellegemer.)
- $x$ er sønn av $y$. (Mengden av medlemmer av den norske kongefamilien.)