![subject](/tpl/images/cats/mat.png)
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](/tpl/images/cats/User.png)
Answers: 3
![](/tpl/images/ask_question.png)
![](/tpl/images/ask_question_mob.png)
Other questions on the subject: Mathematics
![image](/tpl/images/cats/mat.png)
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](/tpl/images/cats/mat.png)
![image](/tpl/images/cats/mat.png)
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](/tpl/images/cats/mat.png)
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](/tpl/images/cats/mat.png)
Mathematics, 24.06.2019 14:00
![Konu](/tpl/images/cats/biologiya.png)
![Konu](/tpl/images/cats/mat.png)
Mathematics, 24.06.2019 14:00
![Konu](/tpl/images/cats/mat.png)
Mathematics, 24.06.2019 14:00
![Konu](/tpl/images/cats/mat.png)
![Konu](/tpl/images/cats/fizika.png)
![Konu](/tpl/images/cats/mat.png)
![Konu](/tpl/images/cats/geografiya.png)
![Konu](/tpl/images/cats/istoriya.png)
History, 24.06.2019 14:00
![Konu](/tpl/images/cats/mat.png)
Mathematics, 24.06.2019 14:00