Side 1 av 1

Førsteordens formler

InnleggSkrevet: 22/03-2019 09:41
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