Use the predicates:
In (x, y), Borders (x, y) and Country (x)
whose arguments are geographical regions, along with constant symbols for various regions.
In (x,y) -> x is in y …
In (Houston, Texas) Houston is in Texas
----------------------------------------------------------------
Use the predicates:
In (x, y), Borders (x, y) and Country (x)
whose arguments are geographical regions, along with constant symbols for various regions.
Example. In (x,y) -> x is in y …
In (Houston, Texas) -> Houston is in Texas
-------------------------------------------------
Question #2 There is a country that borders both Germany and Poland
a.∃ c Country(c) ᴧ Border(c, Germany) ᴧ Border (c, Poland)
b.∃ c Country(c) => [Border(c, Germany) ᴧ Border(c, Poland)]
c.∃ c Border(Country(c), Germany ᴧ Poland)
a, b, c each have an answer
Plz plz plz do Upvote
Get Answers For Free
Most questions answered within 1 hours.