![subject](/tpl/images/cats/mat.png)
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](/tpl/images/cats/User.png)
Answers: 1
Another question on Mathematics
![question](/tpl/images/cats/mat.png)
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](/tpl/images/cats/mat.png)
Mathematics, 21.06.2019 17:00
What properties allow transformation to be used as a problem solving tool
Answers: 1
![question](/tpl/images/cats/mat.png)
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](/tpl/images/cats/mat.png)
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](/tpl/images/cats/ekonomika.png)
![question](/tpl/images/cats/mat.png)
Mathematics, 19.03.2020 22:30
![question](/tpl/images/cats/ekonomika.png)
![question](/tpl/images/cats/ekonomika.png)
![question](/tpl/images/cats/ekonomika.png)
![question](/tpl/images/cats/fizika.png)
![question](/tpl/images/cats/ekonomika.png)
![question](/tpl/images/cats/biologiya.png)
![question](/tpl/images/cats/en.png)
![question](/tpl/images/cats/himiya.png)
![question](/tpl/images/cats/istoriya.png)
![question](/tpl/images/cats/mat.png)
Mathematics, 19.03.2020 22:31
![question](/tpl/images/cats/mat.png)
![question](/tpl/images/cats/biologiya.png)
![question](/tpl/images/cats/himiya.png)
Chemistry, 19.03.2020 22:31
![question](/tpl/images/cats/en.png)
![question](/tpl/images/cats/ap.png)
Advanced Placement (AP), 19.03.2020 22:31
![question](/tpl/images/cats/biologiya.png)
![question](/tpl/images/cats/es.png)
Spanish, 19.03.2020 22:31