4. (18 points) Suppose that we are trying to describe Fred Laddy's sock drawer usirig first-order logic! We let our universe be all of the socks in Luddy s drawer, and define the following predicates: 1. : r is line 2. Mis maroon, 3. Pr. y): I is paired with y. 14. C. Luddy is cool. Given the premises VrVyP(, y) + Ply, 1) VrVyX: (P(2.4) ^ y# 2) =P(2:2) (V: {a) (=v: MwAPfr.:))) C - (V: M(3) - (sy: Llu)a Pla.v))) 4- (v(Lxa}M1-) v (~Z(1) a Aca))) solution to prove that (32-v: (Ma) a Mwa P(2.0) (2CA20. a 21-0)) --- 4. (18 points) Suppose that we are trying to describe Fred Laddy's sock drawer usirig first-order logic! We let our universe be all of the socks in Luddy s drawer, and define the following predicates: 1. : r is line 2. Mis maroon, 3. Pr. y): I is paired with y. 14. C. Luddy is cool. Given the premises VrVyP(, y) + Ply, 1) VrVyX: (P(2.4) ^ y# 2) =P(2:2) (V: {a) (=v: MwAPfr.:))) C - (V: M(3) - (sy: Llu)a Pla.v))) 4- (v(Lxa}M1-) v (~Z(1) a Aca))) solution to prove that (32-v: (Ma) a Mwa P(2.0) (2CA20. a 21-0))