Question 4 (8 marks)¶ You should be able to answer this question after you have studied Unit 6. Consider the following p

[answerhappygod]

Question 4 (8 marks)¶
You should be able to answer this question after you have
studied Unit 6.
Consider the following particular interpretation ɪ for predicate
logic allowing facts to be expressed about cheeses, their countries
of origin and where they are exported.
The domain of elements is Ɗ = { France, Greece, Turkey, Brazil,
Tibet, Salers, Brie, Halloumi, Orgu, Serrano, Churu}.
The constants france, greece, turkey, brazil, tibet,
salers, brie, halloumi, orgu, serrano, churu are assigned to
the corresponding elements.
Two predicate symbols are assigned binary relations as
follows:
ɪ(is_produced_in) = { (Salers, France), (Brie, France), (Halloumi,
Greece), (Orgu, Turkey), (Serrano, Brazil), (Churu, Tibet) }
ɪ(is_exported_to) = { (Brie, Greece), (Halloumi, France), (Orgu,
France), (Salers, Greece), (Serrano, Turkey), (Halloumi, Tibet),
(Orgu, Tibet), (Serrano, Tibet), (Halloumi, Brazil) }
For both relations, the first element of each tuple is the
cheese’s name and the second is the country’s name.
(a) (2 marks)
Consider the English sentence:
“There is at least one cheese that Turkey produces that is
exported to France.”
Write this as a well-formed predicate logic formula.
Write your answer here You can copy these codes if
needed:
(b) (1 mark)
Is this formula TRUE or FALSE under the interpretation given
above?
Write your answer here
(c) (4 marks)
Explain your answer to part b. You should consider any relevant
values for the variables, and show, using the domain and
interpretation given above, whether they make the formula TRUE or
FALSE. In your explanation, make sure that you use formal
notation.
Write your answer here
(d) (1 mark)
Give an appropriate English translation of the well-formed
formula:
ⱯX.( ¬is_exported_to(X, tibet) → is_produced_in (X, france)) .