Please do number 10 and 14 only

SES 6 A. For each of the following formulas, find an interpretation structure in which it is true and one in which it is false. (Answers to 1, 4, 7, 9, 12, and 15.) (1) (Vx)(Px Qx Rx) V2) (Ex) (Px A 70X A Rx) (3) (Vx)(Px + Qx) v (2x) (Px ^ 1Rx) (4) Pa ^ (3x)(Px ^ 70xb) (5) (3x)(Px ^ Qxa) (Vy) (Py ^ Ry - Qby) (6) (Vx)[PX A Qx (Ey) (Ry ^ Sxy)] (7) (3x) [Px ^ 70x ^ (Wy) (Rxy 7Sxy)] (8) (3x)Px (Vy) (Qy Rxy) (9) (Vx) (Px Qxa) (Ey)(Py ^ Ry ^ 7Qxy) (10) (Vx) (Vy) [Px ^ Qy (=z)(Rxy A Sxyz)] (11) (Ex) (Wy)[Px ^ Ry ^ Sxy ^ (Ez) (PZ A RXA 7Qxaz)] (12) (Vx) [PX A Qxf(x) (Ey) (Ez) (Py A7QyZ A Rf (x)yz)] (13) (Vx)Rxf(x) ^ (Wx)(Vy) (Rxy Ryx) A (Vx)(Vy) (Vz)(Rxy ^ Ryz Rxz) (14) (Vx)Rxx v (Vx)(Vy) (Rxy Ryx) V ) (15) (Vx) (Vy) (Rxy v Ryx) ^ (Vx) (y)Rxy ^ (Vy) (3x)7Rxy SES 6 A. For each of the following formulas, find an interpretation structure in which it is true and one in which it is false. (Answers to 1, 4, 7, 9, 12, and 15.) (1) (Vx)(Px Qx Rx) V2) (Ex) (Px A 70X A Rx) (3) (Vx)(Px + Qx) v (2x) (Px ^ 1Rx) (4) Pa ^ (3x)(Px ^ 70xb) (5) (3x)(Px ^ Qxa) (Vy) (Py ^ Ry - Qby) (6) (Vx)[PX A Qx (Ey) (Ry ^ Sxy)] (7) (3x) [Px ^ 70x ^ (Wy) (Rxy 7Sxy)] (8) (3x)Px (Vy) (Qy Rxy) (9) (Vx) (Px Qxa) (Ey)(Py ^ Ry ^ 7Qxy) (10) (Vx) (Vy) [Px ^ Qy (=z)(Rxy A Sxyz)] (11) (Ex) (Wy)[Px ^ Ry ^ Sxy ^ (Ez) (PZ A RXA 7Qxaz)] (12) (Vx) [PX A Qxf(x) (Ey) (Ez) (Py A7QyZ A Rf (x)yz)] (13) (Vx)Rxf(x) ^ (Wx)(Vy) (Rxy Ryx) A (Vx)(Vy) (Vz)(Rxy ^ Ryz Rxz) (14) (Vx)Rxx v (Vx)(Vy) (Rxy Ryx) V ) (15) (Vx) (Vy) (Rxy v Ryx) ^ (Vx) (y)Rxy ^ (Vy) (3x)7Rxy