subject
Mathematics, 11.03.2020 18:39 pinkyglitter2696

This exercise uses the function MapColor and predicates In(x, y),Borders(x, y), and Country(x), whose arguments are geographical regions, along withconstant symbols for various regions. In each of the following, we give an English sentenceand a number of candidate logical expressions. For each of the logical expressions, statewhether it (1) correctly expresses the English sentence; (2) is syntactically invalid and therefore meaningless; or (3) is syntactically valid but does not express the meaning of the Englishsentence.(a) Paris and Marseilles are both in France. i. In(Paris ∧ Marseilles, France)ii. In(Paris, France) ∧ In(Marseilles, France)iii. In(Paris, France) ∨ In(Marseilles, France)(b) There is a country that borders both Iraq and Pakistan. i. ∃ c, Country(c) ∧ Borders(c, Iraq) ∧ Borders(c, Pakistan)ii. ∃ c, Country(c) ⇒ [Borders(c, Iraq) ∧ Borders(c, Pakistan)]iii. [∃ c, Country(c)] ⇒ [Borders(c, Iraq) ∧ Borders(c, Pakistan)]iv. ∃ c, Borders(Country(c), Iraq ∧ Pakistan)(c) All countries that border Ecuador are in South America. i. ∀ c, Country(c) ∧ Borders(c, Ecuador) ⇒ In(c, SouthAmerica)ii. ∀ c, Country(c) ⇒ [Borders(c, Ecuador) ⇒ In(c, SouthAmerica)]iii. ∀ c, [Country(c) ⇒ Borders(c, Ecuador)] ⇒ In(c, SouthAmerica)iv. ∀ c, Country(c) ∧ Borders(c, Ecuador) ∧ In(c, SouthAmerica)(d) No region in South America borders any region in Europe. i. ¬ [∃ c, ∃ d, In(c, SouthAmerica) ∧ In(d, Europe) ∧ Borders(c, d)]ii. ∀ c, ∀ d, [In(c, SouthAmerica) ∧ In(d, Europe)] ⇒ ¬ Borders(c, d)]1iii. ¬ ∀ c, In(c, SouthAmerica) ⇒ ∃ d, In(d, Europe) ∧ ¬ Borders(c, d)iv. ∀ c, In(c, SouthAmerica) ⇒ ∀ d, In(d, Europe) ⇒ ¬ Borders(c, d)

ansver
Answers: 3

Other questions on the subject: Mathematics

image
Mathematics, 21.06.2019 17:30, 4presidents
Tom wants to order tickets online so that he and three of his friends can go to a water park the cost of the tickets is 16.00 per person there is also a 2.50 one-time service fee for ordering tickets online write an expression in term of n that represents the cost for n ordering tickets online
Answers: 1
image
Mathematics, 21.06.2019 19:30, kfnldkl1782
Measure of angles 31 (x+4) (3x+9) me
Answers: 1
image
Mathematics, 21.06.2019 23:00, bravooyessenia
Mr. rose asked his students to draw a quadrilateral with 4 unequal sides. draw an example of this kind of quadrilateral.
Answers: 2
image
Mathematics, 21.06.2019 23:30, saintsfan2004
Arestaurant added a new outdoor section that was 8 feet wide and 6 feet long. what is the area of their new outdoor section
Answers: 1
You know the right answer?
This exercise uses the function MapColor and predicates In(x, y),Borders(x, y), and Country(x), whos...

Questions in other subjects:

Konu
Mathematics, 24.06.2019 14:00
Konu
Mathematics, 24.06.2019 14:00