Representasjon av kvantifiserte utsagn

Her kan du stille spørsmål vedrørende problemer og oppgaver i matematikk på høyskolenivå. Alle som har kunnskapen er velkommen med et svar. Men, ikke forvent at admin i matematikk.net er spesielt aktive her.

Moderators: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Post Reply
yarroosh

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))
Aleks855
Rasch
Rasch
Posts: 6874
Joined: 19/03-2011 15:19
Location: Trondheim
Contact:

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.
Image
Post Reply