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
Engineering, 04.07.2019 18:10
Atmospheric air has a temperature (dry bulb) of 80° f and a wet bulb temperature of 60° f when the barometric pressure is 14.696 psia. determine the specific humidity, grains/lb dry air. a. 11.4 c. 55.8 d. 22.5 b. 44.1
Answers: 1
Engineering, 04.07.2019 18:20
Inspection for bearing condition will include: (clo4) a)-color b)-smell c)-size d)-none of the above
Answers: 1
Engineering, 04.07.2019 18:20
An open feedwater heater operates at steady state with liquid entering at inlet 1 with t? = 40°c and pl = 1 .2 mpa. water vapor att2-200°c and p2 = 1.2 mpa enters at inlet 2. saturated liquid water exits with a pressure of pa 1.2 mpa. neglect heat transfer with the surroundings and all kinetic and potential energy effects, determine the mass flow rate of steam at inlet 2 if the mass flow rate of liquid water at inlet 1 is given as 2 kg/s.
Answers: 3
Engineering, 04.07.2019 19:10
The proportional limit is always greater than the yield strength for a material. a)-trune b)- false
Answers: 3
This exercise uses the function MapColor and predicates In(x, y), Borders(x, y), and Country(x), who...
Spanish, 16.04.2021 20:50
Mathematics, 16.04.2021 20:50
Mathematics, 16.04.2021 20:50
Geography, 16.04.2021 20:50
English, 16.04.2021 20:50
Arts, 16.04.2021 20:50
Mathematics, 16.04.2021 20:50
Mathematics, 16.04.2021 20:50
Biology, 16.04.2021 20:50