May anyone please represent these following sentences in First order logic ?????
ID: 3658560 • Letter: M
Question
May anyone please represent these following sentences in First order logic ????? thank you. 1.some students took french in spring 2001 2.every student who takes french passes it 3.only one student took Greek in spring 2001. 4.The best score in Greek is always higher than the best score in French. 5.Every person who buys a policy is smart 6.No person buys an expensive policy 7.There is an agent who sells policies only to people who are not insured 8.There is a barber who shaves all men in town who do not shave themselves 9.A person born outside the UK,one of whose parents is a Uk citizen by birth,is a UK citizen by descent 10.A person born in the UK , each of whose parents is a UK citizen or a UK resident is a UK citizen by birth.Explanation / Answer
a.Some students took French in spring 2001.
x Student(x) Takes(x, F, Spring2001).
b. Every student who takes French passes it.
x, s Student(x) Takes(x, F, s) Passes(x, F, s).
c. Only one student took Greek in spring 2001.
x Student(x)Takes(x,G, Spring2001)y y _= xTakes(y,G, Spring2001).
d. The best score in Greek is always higher than the best score in French.
s x y Score(x,G, s) > Score(y,F, s).
e. Every person who buys a policy is smart.
x Person(x) ( y, z Policy(y) Buys(x, y, z)) Smart(x).
f. No person buys an expensive policy.
x, y, z Person(x) Policy(y) Expensive(y) Buys(x, y, z).
g. There is an agent who sells policies only to people who are not insured.
x Agent(x) y, z Policy(y) Sells(x, y, z) (Person(z)Insured(z)).
h. There is a barber who shaves all men in town who do not shave themselves.
x Barber(x) y Man(y) Shaves(y, y) Shaves(x, y).
i. A person born in the UK, each of whose parents is a UK citizen or a UK resident, is a UK citizen by birth.
x Person(x)Born(x,UK)(y Parent(y, x) (( r Citizen(y,UK, r))
Resident(y,UK))) Citizen(x,UK,Birth).
j. A person born outside the UK, one of whose parents is a UK citizen by birth, is a UK citizen by descent.
x Person(x) Born(x,UK) (y Parent(y, x) Citizen(y,UK,Birth))
Citizen(x,UK,Descent).
k. Politicians can fool some of the people all of the time, and they can fool all of the people
some of the time, but they can’t fool all of the people all of the time.
x Politician(x) ( y t Person(y) Fools(x, y, t)) ( t y Person(y) Fools(x, y, t)) ( t y Person(y) Fools(x, y, t))