A. (10 points) Determine whether each statement is true or false. For each true statement, explain why the statement is true. For each false statement, give a counterexample (by describing or defining a model) showing that the statement is false. 1. VxVy(Rxy Ryx), Rab E Rba 2. VxVy(Rxy Ryx), Rab E Raa 3. VxVytz((Rxy ^ Ryz) Rxz), Rab, Rbc F Rac 4. VxVytz((Rxy ^ Ryz) Rxz), Rab, -Rac E-Rbc 5. VxVyVz((Rxy ^ Ryz) Rxz), VxVy(Rxy Ryx), Rab E Raa A. (10 points) Determine whether each statement is true or false. For each true statement, explain why the statement is true. For each false statement, give a counterexample (by describing or defining a model) showing that the statement is false. 1. VxVy(Rxy Ryx), Rab E Rba 2. VxVy(Rxy Ryx), Rab E Raa 3. VxVytz((Rxy ^ Ryz) Rxz), Rab, Rbc F Rac 4. VxVytz((Rxy ^ Ryz) Rxz), Rab, -Rac E-Rbc 5. VxVyVz((Rxy ^ Ryz) Rxz), VxVy(Rxy Ryx), Rab E Raa