Førsteordens formler

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.

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

Svar
Gjest

Anta ar P, Q, R og S er relasjonssymboler slik at Px tolkes som ”x er populær”, Qx tolkes som ”x er kontroversiell”, Rxy tolkes som ”x er kompis med y” og Sxy tolkes som ”x har stemt på y”. Anta at a, b og c er konstantsymboler som representerer henholdsvis Anna, Bernt og Carl, Finn førsteordens formler for følgende setninger: a) Anna er populær og kontroversiell. B) Bernt er kompis med Carl, men ikke Anna. C) Carl er kompis med alle. D) Anna har stemt på en som er kontroversiell. E) Bernt har stemt på en kompis. F) Carl har en kompis som er populær.

Trenger litt hjelp til å skjønne hvordan jeg skal gjøre denne oppgaven... Ta c for eksempel. Er ∀xR(c, x) helt på jordet, eller er jeg inne på noe? Blir veldig glad for hjelp :D
Svar