(f )∃xR(x, x)
Domain: All the animals in the world.
a: Justin Trudeau
e: The largest mouse in Vancouver.
g: Moosh, a cat owned by Jim’s friend
F(x):xis a mammal.
R(x, y):xis larger thany.
T(x, y):< a, e >
And now, it is time to symbolize some things. Please symbolize the following English sentences in FOL, providing an appropriate symbolization key.
(a) Somebody in Burnaby is a liar and a cheater!
(b) Either everyone is foolish, or Justin Trudeau is an okay Prime Minister.
(c) Nobody knows Wilhelm Windelband.
(d) All of the movies that were made by Howard Hawks are good.
Here are some proofs. To do them, however, you will need the new Basic Rules that we will add to our system: the rules we did not have in when we were working with TFL. On Monday the 25th, we will talk about these new rules for FOL. If you’d like to try them before Monday, take a look at the six new rules on page 381 of Magnus and described in chapter 32.
(c)∀x∀y(R(x, y)∨R(y, x)),¬R(a, b)∴((F(a)→F(a))∧R(b, a))
This material may consist of step-by-step explanations on how to solve a problem or examples of proper writing, including the use of citations, references, bibliographies, and formatting. This material is made available for the sole purpose of studying and learning - misuse is strictly forbidden.1.
[because both sides of the disjunction are false, i.e. Q is false and G(g) is false because g is not something to which G applies]
[there is something larger than the largest mouse in Vancouver…presumably]
[the order of e and a is reversed]
[because JT and a mouse are mammals]
[because all the animals in the world are not mammals]