Kapittel 14 – Representasjon av kvantifiserte utsagn / Representasjon av predikater

Eksempel og representasjon

Hva syns du om denne videoen?
(Én stjerne er dårligst, tre stjerner er middels og fem stjerner er best.)
(Hvordan kan denne videoen bli bedre?)

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.)