subject
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.

ansver
Answers: 1

Another question on Mathematics

question
Mathematics, 21.06.2019 16:40
Question 10jur's car can travel 340 miles on 12 gallons. jack's car can travel 390 miles on16 gallons. which person has the best mileage (miles per gallon) and what istheir mileage?
Answers: 1
question
Mathematics, 21.06.2019 17:00
What properties allow transformation to be used as a problem solving tool
Answers: 1
question
Mathematics, 21.06.2019 18:30
Deshawn uses 3/4 of a box of rice to cook dinner the portion he uses weighs 12 ounces right and solve an equation to find the weight of the full box of rice
Answers: 1
question
Mathematics, 21.06.2019 20:30
For g(x) = 5x - 3 and h(x) = [tex]\sqrt{x}[/tex], find (g · h)(4)
Answers: 1
You know the right answer?
Let k, be a theory whose language has only = as a predicate letter and no function letters or indivi...
Questions
question
Mathematics, 19.03.2020 22:30
question
Chemistry, 19.03.2020 22:31
question
Advanced Placement (AP), 19.03.2020 22:31
question
Spanish, 19.03.2020 22:31
Questions on the website: 13722367