Given two sentences in the language of first-order logic:

A) Vx ay (Key) (a) Assume that the variables range over all the natural numbers 0,1,2. and that the" predicate means "is greater than or equal to." Under this interpretation, translate (A) and (B) into English (b) Is (A) true under this interpretation? (c) Is (B) true under this interpretation (d) Does (A) logically entail (B)? (e) Does (B) logically entail (A)? (f) Using resolution, prove that (B) follows from (A). A) Vx ay (Key) (a) Assume that the variables range over all the natural numbers 0,1,2. and that the" predicate means "is greater than or equal to." Under this interpretation, translate (A) and (B) into English (b) Is (A) true under this interpretation? (c) Is (B) true under this interpretation (d) Does (A) logically entail (B)? (e) Does (B) logically entail (A)? (f) Using resolution, prove that (B) follows from (A)