Answer
a. The statement says that there are a triangle and a square with the property that the triangle is above the square and has the same color as the square. This statement is true. For example, triangle d is above square e and both are black.
b. Negation: ∀ triangles x and ∀ squares y, x is not above y or x and y have different colors.
Work Step by Step
Recall the negation of an exists statement:
~($\exists x$ in D, P(x)) $\equiv \forall x$ in D such that ~P(x).
To negate a multiply quantified statement, apply the laws in stages moving left to right along the sentence.
