This exercise uses the function MapColor and predicates In(x,y), Borders(x,y), and Country(x), whose arguments are geographical regions, along with constant symbols for various regions. In each of the following we give an English sentence and a number of candidate logical expressions. For each of the logical expressions, state whether 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 English sentence. 1. Paris and Marseilles are both in France. 1. In(Paris∧Marseilles,France). 2. In(Paris,France)∧In(Marseilles,France). 3. In(Paris,France)∨In(Marseilles,France). 2. There is a country that borders both Iraq and Pakistan. 1. ∃c Country(c)∧Border(c,Iraq)∧Border(c,Pakistan). 2. ∃c Country(c)⇒[Border(c,Iraq)∧Border(c,Pakistan)]. 3. [∃c Country(c)]⇒[Border(c,Iraq)∧Border(c,Pakistan)]. 4. ∃c Border(Country(c),Iraq∧Pakistan). 3. All countries that border Ecuador are in South America. 1. ∀cCountry(c)∧Border(c,Ecuador)⇒In(c,SouthAmerica). 2. ∀cCountry(c)⇒[Border(c,Ecuador)⇒In(c,SouthAmerica)]. 3. ∀c[Country(c)⇒Border(c,Ecuador)]⇒In(c,SouthAmerica). 4. ∀cCountry(c)∧Border(c,Ecuador)∧In(c,SouthAmerica). 4. No region in South America borders any region in Europe. 1. ¬[∃c,dIn(c,SouthAmerica)∧In(d,Europe)∧Borders(c,d)]. 2. ∀c,d[In(c,SouthAmerica)∧In(d,Europe)]⇒¬Borders(c,d)]. 3. ¬∀cIn(c,SouthAmerica)⇒∃dIn(d,Europe)∧¬Borders(c,d). 4. ∀cIn(c,SouthAmerica)⇒∀dIn(d,Europe)⇒¬Borders(c,d). 5. No two adjacent countries have the same map color. 1. ∀x,y¬Country(x)∨¬Country(y)∨¬Borders(x,y)∨\ ¬(MapColor(x)=MapColor(y)). 2. ∀x,y(Country(x)∧Country(y)∧Borders(x,y)∧¬(x=y))⇒\ ¬(MapColor(x)=MapColor(y)). 3. ∀x,yCountry(x)∧Country(y)∧Borders(x,y)∧\ ¬(MapColor(x)=MapColor(y)). 4. ∀x,y(Country(x)∧Country(y)∧Borders(x,y))⇒MapColor(x≠y).

This exercise uses the function MapColor and predicates In(x,y), Borders(x,y), and Country(x), whose arguments are geographical regions, along with constant symbols for various regions. In each of the following we give an English sentence and a number of candidate logical expressions. For each of the logical expressions, state whether 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 English sentence. 1. Paris and Marseilles are both in France. 1. In(Paris∧Marseilles,France). 2. In(Paris,France)∧In(Marseilles,France). 3. In(Paris,France)∨In(Marseilles,France). 2. There is a country that borders both Iraq and Pakistan. 1. ∃c Country(c)∧Border(c,Iraq)∧Border(c,Pakistan). 2. ∃c Country(c)⇒[Border(c,Iraq)∧Border(c,Pakistan)]. 3. [∃c Country(c)]⇒[Border(c,Iraq)∧Border(c,Pakistan)]. 4. ∃c Border(Country(c),Iraq∧Pakistan). 3. All countries that border Ecuador are in South America. 1. ∀cCountry(c)∧Border(c,Ecuador)⇒In(c,SouthAmerica). 2. ∀cCountry(c)⇒[Border(c,Ecuador)⇒In(c,SouthAmerica)]. 3. ∀c[Country(c)⇒Border(c,Ecuador)]⇒In(c,SouthAmerica). 4. ∀cCountry(c)∧Border(c,Ecuador)∧In(c,SouthAmerica). 4. No region in South America borders any region in Europe. 1. ¬[∃c,dIn(c,SouthAmerica)∧In(d,Europe)∧Borders(c,d)]. 2. ∀c,d[In(c,SouthAmerica)∧In(d,Europe)]⇒¬Borders(c,d)]. 3. ¬∀cIn(c,SouthAmerica)⇒∃dIn(d,Europe)∧¬Borders(c,d). 4. ∀cIn(c,SouthAmerica)⇒∀dIn(d,Europe)⇒¬Borders(c,d). 5. No two adjacent countries have the same map color. 1. ∀x,y¬Country(x)∨¬Country(y)∨¬Borders(x,y)∨\ ¬(MapColor(x)=MapColor(y)). 2. ∀x,y(Country(x)∧Country(y)∧Borders(x,y)∧¬(x=y))⇒\ ¬(MapColor(x)=MapColor(y)). 3. ∀x,yCountry(x)∧Country(y)∧Borders(x,y)∧\ ¬(MapColor(x)=MapColor(y)). 4. ∀x,y(Country(x)∧Country(y)∧Borders(x,y))⇒MapColor(x≠y).

Database System Concepts

7th Edition

ISBN:9780078022159

Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Chapter1: Introduction

Section: Chapter Questions

Problem 1PE

See similar textbooks

Related questions

Question

This exercise uses the function MapColor and predicates In(x,y), Borders(x,y), and Country(x), whose arguments are geographical regions, along with constant symbols for various regions. In each of the following we give an English sentence and a number of candidate logical expressions. For each of the logical expressions, state whether 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 English sentence.
1. Paris and Marseilles are both in France.
1.  In(Paris∧Marseilles,France).
2.  In(Paris,France)∧In(Marseilles,France).
3.  In(Paris,France)∨In(Marseilles,France).
2. There is a country that borders both Iraq and Pakistan.
1.  ∃c Country(c)∧Border(c,Iraq)∧Border(c,Pakistan).
2.  ∃c Country(c)⇒[Border(c,Iraq)∧Border(c,Pakistan)].
3.  [∃c Country(c)]⇒[Border(c,Iraq)∧Border(c,Pakistan)].
4.  ∃c Border(Country(c),Iraq∧Pakistan).
3. All countries that border Ecuador are in South America.
1.  ∀cCountry(c)∧Border(c,Ecuador)⇒In(c,SouthAmerica).
2.  ∀cCountry(c)⇒[Border(c,Ecuador)⇒In(c,SouthAmerica)].
3.  ∀c[Country(c)⇒Border(c,Ecuador)]⇒In(c,SouthAmerica).
4.  ∀cCountry(c)∧Border(c,Ecuador)∧In(c,SouthAmerica).
4. No region in South America borders any region in Europe.
1.  ¬[∃c,dIn(c,SouthAmerica)∧In(d,Europe)∧Borders(c,d)].
2.  ∀c,d[In(c,SouthAmerica)∧In(d,Europe)]⇒¬Borders(c,d)].
3.  ¬∀cIn(c,SouthAmerica)⇒∃dIn(d,Europe)∧¬Borders(c,d). 4. ∀cIn(c,SouthAmerica)⇒∀dIn(d,Europe)⇒¬Borders(c,d).
5. No two adjacent countries have the same map color.
1.  ∀x,y¬Country(x)∨¬Country(y)∨¬Borders(x,y)∨\ ¬(MapColor(x)=MapColor(y)).
2.  ∀x,y(Country(x)∧Country(y)∧Borders(x,y)∧¬(x=y))⇒\ ¬(MapColor(x)=MapColor(y)).
3.  ∀x,yCountry(x)∧Country(y)∧Borders(x,y)∧\ ¬(MapColor(x)=MapColor(y)).
4.  ∀x,y(Country(x)∧Country(y)∧Borders(x,y))⇒MapColor(x≠y).

Expert Solution

Trending now

This is a popular solution!

Step by step

Solved in 2 steps with 2 images

SEE SOLUTION Check out a sample Q&A here

Knowledge Booster

Learn more about

Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.