Given the following relations on the set of all people. Check ALL correct answers from the following lists: (a) a is (strictly) older than b A. irreflexive B. symmetric C. antisymmetric D. reflexive E. transitive (b) a and b have a common grandparent A. irreflexive B. antisymmetric C. symmetric D. reflexive E. transitive (c) a has the same first name as b A. transitive B. irreflexive C. antisymmetric D. symmetric E. reflexive (d) a and b were born on the same day A. transitive B. reflexive C. irreflexive D. antisymmetric E. symmetric Solution (a) let x,y,z be people -the relation is is irreflexive since for every x; x is not less than x -the relation is antisymmetric since for every x,y;x older y then y is not older than x -the relation is transitive since for x,y,z; if x older than y and y older than z, x is older than z (xRy and yRz => xRz) (b) let x,y,z be people -the relation is reflexive since for every x; if x has a grandparent, x has the same grandparent (i know that sounds silly). (xRx) -the relation is symmetric since for every x,y; if x has a same grandparent as y, than y has a same grandparent as x (xRy => yRx) -the relation is NOT transitive since everyone has two pairs of grandparents (x could have a different common grandparent with y and z so yRx and xRz but y is not related to z) (c) let x,y,z be people -the relation is reflexive; x has the same name as x -the relation is symmetric;if x has the same name as y then y has the same name as x -the relation is transitive; if x has the same name as y and y has the same name as z then x has the same name as z (d) let x,y,z be people -the relation is reflexive; x was born on the same day as x -the relation is symmetric; if x was born on the same day as y then y was born on the same day as x -the relation is transitive; if x was born on the same day as y and y was born on the same day as z then x was born on the same day as z.