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)