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, 20.06.2019 18:02, Leeyah6606
You make and sell triangular flags. each flag has a base of  3.53.5  feet and a height of  2.52.5  feet. fabric for the flags costs  $0.40$0.40  per square foot. what is the cost to make one flag?
Answers: 3
image
Mathematics, 21.06.2019 19:30, auzriannamarie
Tim's phone service charges $26.39 plus an additional $0.21 for each text message sent per month. if tim's phone bill was $31.64, which equation could be used to find how many text messages, x, tim sent last month?
Answers: 1
image
Mathematics, 21.06.2019 20:00, demetriascott20
Write the point-slope form of the line passing through (2, -12) and parallel to y=3x.
Answers: 2
image
Mathematics, 21.06.2019 22:00, malikxyo224
Rewrite so the subject can be y in the formula d=m-y/y+n
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, 03.04.2020 20:00