I have been set this question on the exam:
Using standard rules of inference and proper quantification, what conclusions can be drawn about Sam from the following set of premises?
- All players are intelligent.
- Sam is not intelligent.
- All boxers are players.
I was puzzled by this question because nothing is defined about the conclusion, which conclusion is asked about to be true?
I drew the conclusion that 'Sam is not intelligent' which is the premise itself and my friend wrote 'Sam is not a player'.
It turned out that both of the answers were marked incorrect. The teacher told that the correct conclusion was 'Sam is neither a player nor a boxer nor intelligent'.
My question is, isn't this question ill defined because nothing is mentioned about the specific conclusion the teacher has in mind? And how do I convince my teacher if the question is ill defined?
Here is more detailed why there are infinitely many conclusions that one can draw. A complete answer would depend on the exact rules you were introduced to, so I'll be a little bit sketchy.
As one thing, you can introduce the double negation. From
for example, you can conclude
A little shorter may look like this:
But then again, you can add a double negation, so that you get a sentence which has four times "It is not the case that" in front and "Sam is not intelligent" following. Thusly you can go on as long as you want, which already shows that you can draw infinitely many conclusions.
Something like this also works for disjunction. A common rule says that if you have a sentence $A$, then you can conclude $A \vee B$, whatever sentence $B$ is. So from
you can conclude
Again, from this you can conclude:
And so on. Such things can also be done with other operators like conjunction.