2. Let be a basis in first-order logic in which axioms concerning arithmetic operations and unequal relations between integers have been expressed. The objects of all knowledge correspond to whole numbers.

The knowledge base includes the following predicates: • M(x,y) which is true only when x>y where x,y variables corresponding to integers. • E(x,y) which is true only when x=y where x,y variables corresponding to integers. The knowledge base also includes the following functions. • SQ(x) which corresponds to the variable x squared x2 • P(x,y) which corresponds to the variables x,y the product x*y The knowledge base also includes an object denoted as "0" which denotes our number. To write a knowledge base in first-order logic, using the above predicate functions that captures the following propositions: A) For all real numbers x1,x2,x3,x4, if x1>0 and x2>0 and x3>0 and X4>0, x1>x2 and x3>x4 then x1*x3>x2*x4 B) There exists a real number y such that y²=0.