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

Show answers

Other questions on the subject: Mathematics

Mathematics, 21.06.2019 17:20, tajonae04

Aboat costs 19200 and decreases in value by 12% per year. how much will it cost in 5 years

Answers: 2

continue

Mathematics, 21.06.2019 17:30, nayellisoto15

Lance lived in portugal and brazil for a total of 14 months to learn portuguese. he learned an average of 130 new words per month when he lived in portugal, and an average of 150 new words per month when he lived in brazil. in total he learned 1920 new words. write a system of equations to represent the situation. use x to represent portugal, and y to represent brazil

Answers: 1

continue

Mathematics, 21.06.2019 17:30, alexandroperez13

Monthly water bills for a city have a mean of $108.43 and a standard deviation of $32.09. find the probability that a randomly selected bill will have an amount greater than $155, which the city believes might indicate that someone is wasting water. would a bill that size be considered unusual?

Answers: 2

continue

Mathematics, 21.06.2019 20:00, GreatBaconGamer

Solve for x and y a x= 13.3 y= 16.7 b x= 23.3 y= 12.5 c x= 7.5 y= 16.7 d x=7.5 y= 12.5

Answers: 1

continue

Do you know the correct answer?

Let k, be a theory whose language has only = as a predicate letter and no function letters or indivi...