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

Another question on Engineering

Engineering, 04.07.2019 18:20

Athin walled concentric tube exchanger is used to cool engine oil from 160°c to 60°c with water that is available at 25°c acting as a coolant. the oil and water flow rates are each at 2 kg/s, and the diameter of the inner tube is 0.5 m and the corresponding value of the overall heat transfer coefficient is 250 w/m2. oc. how long must the heat exchanger be to accomplish the desired cooling? cpwater=4.187 kj/kg-candcpengine el=2.035 kj/kg·°c, oil . 120]

Answers: 1

Answer

Engineering, 04.07.2019 18:20

Avolume of 2.65 m3 of air in a rigid, insulated container fitted with a paddle wheel is initially at 264 k, 5.6 bar. the air receives 432 kj by work from the paddle wheel. assuming the ideal gas model with cv = 0.71 kj/kg • k, determine for the air the amount of entropy produced, in kj/k

Answers: 2

Answer

Engineering, 04.07.2019 18:20

Air flows over a heated plate àt a velocity of 50m/s. the local skin factor coefficient at a point on a plate is 0.004. estimate the local heat transfer coefficient at this point.the following property data for air are given: density = 0.88kg/m3 , viscosity 2.286 x 10 ^-5 kgm/s , k = 0.035w/mk ,cp = 1.001kj/kgk. use colburn reynolds analogy.

Answers: 1

Answer

Engineering, 04.07.2019 18:20

Refrigerant-134a enters the compressor of a refrigerator as superheated vapor at 0.14 mpa and -10°c at a rate of 0.05 ka/s and leaves at 0.8 mpa and 50°c. the refrigerant is cooied in the condenser to 0.72 mpa and 26'c. it is then throttled to 0.15 mpa. sketch the t-s diagram for the system and evaluate: 6) the rate of heat removai from the refrigerated space (kw), it) the power input to the compressor (kw), ii) the isentropic efficiency of the compressor (%), and iv) the cop of the refrigerator.

Answers: 2

Answer

You know the right answer?

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

Questions