From language, proof, and logic chapter 13.
give a proof that uses ana con but only where the premises and conclusions of the citation are literals (including you may use taut con but do not use fo con in any of the proofs.
? x(cube(x) ? ? y(dodec(y) ? larger(x,
? x(dodec(x) ? ? y(tet(y) ? larger(x,
? xdodec(x)

? x(cube(x) ? ? y(tet(y) ? larger(x,

(2 x^3 + 7 x^2 + 5 x + 2)/(x (x + 2))

step-by-step explanation:

simplify the following:

x/x^2 + 3 x + 2 - (x (x + 1))/(x + 2)

combine powers. x/x^2 = x^(1 - 2):

x^(1 - 2) + 3 x + 2 - (x (x + 1))/(x + 2)

1 - 2 = -1:

x^(-1) + 3 x + 2 - (x (x + 1))/(x + 2)

put each term in 1/x + 3 x + 2 - (x (x + 1))/(x + 2) over the common denominator x (x + 2): 1/x + 3 x + 2 - (x (x + 1))/(x + 2) = (x + 2)/(x (x + 2)) + (3 x^2 (x + 2))/(x (x + 2)) + (2 x (x + 2))/(x (x + 2)) - (x^2 (x + 1))/(x (x + 2)):

(x + 2)/(x (x + 2)) + (3 x^2 (x + 2))/(x (x + 2)) + (2 x (x + 2))/(x (x + 2)) - (x^2 (x + 1))/(x (x + 2))

(x + 2)/(x (x + 2)) + (3 x^2 (x + 2))/(x (x + 2)) + (2 x (x + 2))/(x (x + 2)) - (x^2 (x + 1))/(x (x + 2)) = ((x + 2) + 3 x^2 (x + 2) + 2 x (x + 2) - x^2 (x + 1))/(x (x + 2)):

(2 + x + 3 x^2 (x + 2) + 2 x (x + 2) - x^2 (x + 1))/(x (x + 2))

3 x^2 (x + 2) = 3 x^3 + 6 x^2:

(2 + x + 3 x^3 + 6 x^2 + 2 x (x + 2) - x^2 (x + 1))/(x (x + 2))

2 x (x + 2) = 2 x^2 + 4 x:

(2 + x + 6 x^2 + 3 x^3 + 2 x^2 + 4 x - x^2 (x + 1))/(x (x + 2))

-x^2 (x + 1) = -x^2 - x^3:

(-x^2 - x^3 + 3 x^3 + 6 x^2 + 2 x^2 + 4 x + x + 2)/(x (x + 2))

grouping like terms, 3 x^3 - x^3 + 6 x^2 + 2 x^2 - x^2 + 4 x + x + 2 = (3 x^3 - x^3) + (6 x^2 + 2 x^2 - x^2) + (x + 4 x) + 2:

((3 x^3 - x^3) + (6 x^2 + 2 x^2 - x^2) + (x + 4 x) + 2)/(x (x + 2))

3 x^3 - x^3 = 2 x^3:

(2 x^3 + (6 x^2 + 2 x^2 - x^2) + (x + 4 x) + 2)/(x (x + 2))

6 x^2 + 2 x^2 - x^2 = 7 x^2:

(2 x^3 + 7 x^2 + (x + 4 x) + 2)/(x (x + 2))

x + 4 x = 5 x:

answer:   (2 x^3 + 7 x^2 + 5 x + 2)/(x (x + 2))

kekdkdkccc

so

step-by-step explanation:

kekdkckcldlx

total of apples - take away four

6-4 = 2

answer is 2 apples

d no solution

step-by-step explanation: