Anta at B,F og K er relasjonssymboler slik at Bx tolkes som "x er en biolog", Fx tolkes som "x er en filosof" og Kxy tolkes som "x kjenner y". Anta at a, b og c er konstantsymboler som representerer Aristotles, Bolzano og Copernicus.
Finn førsteordens formler for følgende setninger: (a) Aristoteles er både en biolog og en filosof. (b) Alle biologer er filosofer. (c) Ingen filosofer er biologer. (d) Aristoteles kjenner en filosof. (e) Bolzano kjenner filosofer. (f) Copernicus kjenner bare biologer. (g) Alle kjenner en filosof. (h) Alle kjenner noen som kjenner en filosof. Finn gode og naturlige norske setninger for følgende førsteordens formler:
(i) ¬∃x(Bx ∨ Fx)
(j) ∃x(Kax ∧ ¬Bx)
(k) ∀x∀y((Fx ∧ Fy) → Kxy)
(l) ∃x(∀y(Fy → Kxy))
Representasjon av kvantifiserte utsagn
Moderators: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
Fin oppgave.
Hvis du ønsker hjelp med den, vis gjerne hvor langt du har kommet, og drøft litt hva du tenker om fremgangsmåten. Vi er tross alt ikke løsningsroboter.
Hvis du ønsker hjelp med den, vis gjerne hvor langt du har kommet, og drøft litt hva du tenker om fremgangsmåten. Vi er tross alt ikke løsningsroboter.
