# Answer to Question #19104 in Abstract Algebra for edward

Question #19104

This is not a math problem. Because there is no philosophy to choose in the subject.

premises:∀x [(Cube(x) ∧ Large(x)) ∨ (Tet(x) ∧ Small(x))]

∀x [Tet(x) → BackOf(x, c)]

conclusion:∀x [Small(x) → BackOf(x, c)]

give an informal proof. If it is not valid, use Tarski's World to construct a counter example.

premises:∀x [(Cube(x) ∧ Large(x)) ∨ (Tet(x) ∧ Small(x))]

∀x [Tet(x) → BackOf(x, c)]

conclusion:∀x [Small(x) → BackOf(x, c)]

give an informal proof. If it is not valid, use Tarski's World to construct a counter example.

Expert's answer

Unfortunately, your question requires a lot of work and cannot be done for free.

Submit it with all requirements as an assignment to our control panel and we'll assist you.

Submit it with all requirements as an assignment to our control panel and we'll assist you.

Need a fast expert's response?

Submit orderand get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

## Comments

## Leave a comment