Can Logical Inference Prove an Engineer Likes Both Video Games and Literature?

[spaghetti3451]

Homework Statement

Consider the following statements.
All engineers either like computer or like power tools. All engineers who like computers
like video games. All engineers who like power tools like camping out. Some engineers
like literature.
Based on these given statements, show that you can make the following inferences. Show
all steps in your work.
There is at least one engineer who likes video games and literature.

Homework Equations

The Attempt at a Solution

Let E(x) be the proposition 'x is an engineer,'
Let C(x) be the proposition 'x likes computer,'
Let P(x) be the proposition 'x likes power tool,'
Let V(x) be the proposition 'x likes video games,'
Let O(x) be the proposition 'x likes camping out,'
Let L(x) be the proposition 'x likes literature,'
where x is the domain of all people.

Steps and corresponding reasons:
1. \forallx E(x) → C(x) \vee P(x) premise
2. E(a) → C(a) \vee P(a) universal generalisation
3. \forallx (E(x)\wedgeC(x)) → V(x) premise
4. (E(a)\wedgeC(a)) → V(a) universal generalisation
5. \forallx (E(x)\wedgeP(x)) → O(x) premise
6. (E(a)\wedgeP(a)) → O(a) universal generalisation
7. ∃x E(x)\wedgeL(x) premise
8. E(a)\wedgeL(a) existential generalisation


I'm not sure about the statements for universal and existential generalisation, i.e. if they should all refer to the same a.

 

[HallsofIvy]

You can't prove that inference, it isn't true. Suppose for example, our "universe" consists of three engineers, "A", "B", and "C". "A" likes computers and, so, video games. "B" and "C" like power tools and, so, camping out. "C" likes literature.

That satisfies all the given conditions but does not satisfy "There is at least one engineer who likes video games and literature." A is the only engineer who likes video games and he does nor like literature.

"I'm not sure about the statements for universal and existential generalisation, i.e. if they should all refer to the same a."

There is no "same a". "a" is a variable.