Form a valid conclusion, using all the statements for each argument. Give reasons.
If we go to the theater, then we are enlightened.
We are not enlightened.
A) We do not go to the theater. (indirect)
B) We go to the theater. (indirect)
C) We do not go to the theater. (direct)
D) We go to the theater. (direct)
E) none of these

Question

Form a valid conclusion, using all the statements for each argument. Give reasons. ​
If we go to the theater, then we are enlightened.
We are not enlightened.
A) We do not go to the theater. (indirect)
B) We go to the theater. (indirect)
C) We do not go to the theater. (direct)
D) We go to the theater. (direct)
E) none of these

Quizplus · Accepted Answer

This is an example of modus tollens, a valid form of argument. If "If P then Q" is true and "Not Q" is true, then "Not P" must also be true. Here, P is "we go to the theater" and Q is "we are enlightened." Given "We are not enlightened" (Not Q), it logically follows that "We do not go to the theater" (Not P).

Form a Valid Conclusion, Using All the Statements for Each