Mathematics, 18.07.2019 18:30 jennsou
Let k, be a theory whose language has only = as a predicate letter and no function letters or individual constants. let its proper axioms be (vx1)x1 = x1, (vxl)(vx2)(x2 = x2 * x2 = xı), and (vx1)(vx2)(vx3)(x1 = x2 = (x2 = xz x1 = x; show that k is a theory with equality. (hint: it suffices to prove that + xy = x3 = (x2 = x2 = x3 = x,) and x2 = x3 = (x1 = x2 = x2 = x3).] k, is called the pure first-order theory of equality.
Answers: 1
Mathematics, 21.06.2019 17:30, atkinsonsinbraz
One integer is 8 times another. if the product is 72, then find the integers
Answers: 2
Mathematics, 21.06.2019 20:30, gwendallinesikes
Is the point (0, 8) on the x-axis or y-axis? how do you know?
Answers: 2
Let k, be a theory whose language has only = as a predicate letter and no function letters or indivi...
Mathematics, 17.12.2020 23:10
Mathematics, 17.12.2020 23:10