Engineering, 05.08.2020 17:01 jonesmegan526

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. Paris and Marseilles are both in France.
In(Paris∧Marseilles, France).
In(Paris, France)∧In(Marseilles, France).
In(Paris, France)∨In(Marseilles, France).
There is a country that borders both Iraq and Pakistan.
∃c Country(c)∧Border(c, Iraq)∧Border(c, Pakistan).
∃c Country(c):⇒:[Border(c, Iraq)∧Border(c, Pakistan)].
[∃c Country(c)]:⇒:[Border(c, Iraq)∧Border(c, Pakistan)].
∃c Border(Country(c),Iraq∧Pakistan).
All countries that border Ecuador are in South America.
∀cCountry(c)∧Border(c, Ecuador):⇒:In(c, SouthAmerica).
∀cCountry(c):⇒:[Border(c, Ecuador):⇒:In(c, SouthAmerica)].
∀c[Country(c):⇒:Border(c, Ecuador)]:⇒:In(c, SouthAmerica).
∀cCountry(c)∧Border(c, Ecuador)∧In(c, SouthAmerica).
No region in South America borders any region in Europe.
¬[∃c, dIn(c, SouthAmerica)∧In(d, Europe)∧Borders(c, d)].
∀c, d[In(c, SouthAmerica)∧In(d, Europe)]:⇒:¬Borders(c, d)].
¬∀cIn(c, SouthAmerica):⇒:∃dIn(d, Europe)∧¬Borders(c, d).
∀cIn(c, SouthAmerica):⇒:∀dIn(d, Europe):⇒:¬Borders(c, d).
No two adjacent countries have the same map color.
∀x, y¬Country(x)∨¬Country(y)∨¬Borders(x , y)∨\ ¬(MapColor(x)=MapColor(y)).
∀x, y(Country(x)∧Country(y)∧Borders(x, y)∧¬(x=y)):⇒:\ ¬(MapColor(x)=MapColor(y)).
∀x, yCountry(x)∧Country(y)∧Borders(x, y)∧\ ¬(MapColor(x)=MapColor(y)).
∀x, y(Country(x)∧Country(y)∧Borders(x, y)):⇒:MapColor(x≠y).

Answers: 3

Show answers

Other questions on the subject: Engineering

Engineering, 03.07.2019 15:10, breannaasmith1122

Two flowing streams of argon gas are adiabatically mixed to form a single flow/stream. one stream is 1.5 kg/s at 400 kpa and 200 c while the second stream is 2kg/s at 500 kpa and 100 ? . it is stated that the exit state of the mixed single flow of argon gas is 150 c and 300 kpa. assuming there is no work output or input during the mixing process, does this process violate either the first or the second law or both? explain and state all your assumptions.

Answers: 1

continue

Engineering, 04.07.2019 18:10, genyjoannerubiera

Assuming compressible flow of air and that the measurements are done at flagstaff a pitot static tube that gives the difference of total and static pressure measures 0.35 m of mercury. what is the velocity of air? assume the temperature to be 300k. (submit your excel or matlab calculation sheet)

Answers: 1

continue

Engineering, 04.07.2019 18:20, alexis9263

Have a greater impact on maintenance productivity than any other support group. (clo5) a)-the top management b)-inventory and purchasing c)-sub-contracting d)-cmms

Answers: 2

continue

Engineering, 04.07.2019 18:20, safiyabrowne7594

Ahe-xe mixture containing a 0.75 mole fraction of helium is used for cooling electronics in an avionics application. at a temperature of 300 k and atmospheric pressure, calculate the mass fraction of helium and the mass density, molar concentration and molecular weight of the mixture. if the cooling capacity is 10 l, what is the mass of the coolant?

Answers: 3

continue

You know the right answer?

This exercise uses the function MapColor and predicates In(x, y), Borders(x, y), and Country(x), who...