Problem 53E

In 46–54, refer to the Tarski world given in Figure 3.1.1, which is printed again here for reference. The domains of all variables consist of all the objects in the Tarski world. For each statement, (a) indicate whether the statement is true or false and justify your answer, (b) write the given statement using the formal logical notation illustrated in Example 3.3.10, and (c) write the negation of the given statement using the formal logical notation of Example 3.3.10.

There is a circle x and there is a square y such that x and y have the same color.

Solution:

Step 1:

In this problem,

a) We have to indicate whether the statement is true or false.

b) Write the given statement using formal logical notations.

c)Write the negation of the the given statement using the formal logical notation.