Lurte på om noen her kunne hjelpe meg litt..
![Question :?:](./images/smilies/icon_question.gif)
Problemet lyder slik:
Foreslå predikatlogiske representasjoner for disse setningene:
i. Intet dyr løper uten å puste.
ii. Et elsel er større enn alle gnagere.
iii. Marit eller Ola fant en telefon som var knust, men som virket.
iv. To biler stod parkert utenfor en kiosk.
v. Ola ga seg selv et bilde.
Forklaring:
$ = motsatt E / det finnes
¤ = oppned A / alle
Þ = hviss / =>
Mitt forslag:
i.
Intet dyr løper uten å puste.
X = løper
y = dyr
not ($x $y(Dyr(x) Þ Puster(y))
ii.
Et esel er større enn alle gnagere.
X = esel
Y = gnagere
Større_enn(x,y) = x er større enn y
$x ¤y (Større_enn(x,y))
iii.
Marit eller Ola fant en telefon som var knust, men som virket.
X = Marit eller Ola
Y = telefon
Z = knust men virkende
$x $y (Person(x) fant(telefon(y)Þ y = z )
iv.
To biler stod parkert utenfor en kiosk.
X = 2 parkerte biler
Y = en kiosk
Stod_Utenfor(x, y) = x stod utenfor y
$x $y (Stod_utenfor(x, y))
v.
Ola ga seg selv et bilde.
X = Ola
Y = bilde
gir(x,y) indikerer at x gir y
$x gir(x,y)
Noen som kan si meg om dette ser rett ut eller om dere har noen andre forslag på hvordan jeg kan gjøre dette??
Takk på forhånd!!