Answer to Question #111222 in Discrete Mathematics for Martin

Question

h) Which assumptions are being referred to by the phrase "the assumptions in force" at a given step
in a proof?

1. Only the premises at the top level of the proof.
2. Only the assumption of the subproof in which the step-in question is embedded.
3. All of the assumptions of every subproof in which the step-in question is embedded
together with the premises.
4. Only the assumptions of every subproof in which the step-in question is embedded.
5. Only the assumptions of subproofs of equally deep nesting.



i) Which of the following domains would most clearly suggests that the sentence " 'Everyone' is a
lot of people" is not always true?

1. The set of people in the province of Gauteng.
2. The set of logicians in this video correct
3. The set of even natural numbers
4. The set of people at a well-attended concert
5. The set of points on the interval [0,1)

Answer 1

Which assumptions are being referred to by the phrase "the assumptions in force" at a given step

in a proof? 

Only the assumption of the subproof in which the step-in question is embedded. 

Which of the following domains would most clearly suggests that the sentence " 'Everyone' is a

lot of people" is not always true? 

The set of people at a well-attended concert