Philosophy Quiz: Modus Ponens And Modus Tollens
20 questions · exam conditions
0:00
Modus Ponens And Modus TollensQuestion 1 of 20

An artificial intelligence is programmed with the following directive: "If a solution has an efficiency score below 95%, do not implement it." The AI is then presented with a solution that it does, in fact, implement.

The solution's efficiency score must be exactly 95%.
The AI has violated its programming directive.
The solution's efficiency score must be below 95%.
The solution's efficiency score must be 95% or higher.
← Back to quizzes

Philosophy Quiz

Philosophy Quiz: Modus Ponens And Modus Tollens

Practice Modus Ponens And Modus Tollens in Philosophy with focused quiz questions that help you check what you know, review explanations, and build confidence with test-style prompts.

What this quiz covers

This quiz focuses on Modus Ponens And Modus Tollens, giving you a quick way to practice the rules, question types, and explanations that matter most for Philosophy.

How to use this quiz

Try each quiz question before looking at the correct answer. Use the explanations to review missed ideas, then come back to similar questions until the pattern feels familiar.

All questions

Question 1

An artificial intelligence is programmed with the following directive: "If a solution has an efficiency score below 95%, do not implement it." The AI is then presented with a solution that it does, in fact, implement.

  1. The solution's efficiency score must be exactly 95%.
  2. The AI has violated its programming directive.
  3. The solution's efficiency score must be below 95%.
  4. The solution's efficiency score must be 95% or higher. (correct answer)
Explanation: This question tests logical reasoning about conditional statements and their implications. When you encounter problems involving "if-then" programming directives, focus on what the given information allows you to conclude with certainty. The AI's directive creates a clear rule: "If efficiency < 95%, then do not implement." Since we know the AI did implement the solution, we can use logical reasoning to determine what must be true about the efficiency score. If the solution had been below 95%, the AI would have been required not to implement it. But since implementation occurred, the efficiency score cannot be below 95% - it must be 95% or higher. This makes answer D correct. Let's examine why the other options fail: Answer A claims the score must be exactly 95%, but this is too restrictive. The directive only prohibits implementation below 95%, so any score of 95% or above (including 96%, 98%, 100%, etc.) would allow implementation. Answer B suggests the AI violated its programming, but there's no evidence of this - the AI could have perfectly followed its directive by implementing a solution scoring 95% or higher. Answer C directly contradicts the logical conclusion, claiming the score must be below 95%, which would have prevented implementation according to the directive. Remember this logical pattern: when you know a conditional rule was followed and you know the outcome, you can work backward to determine what conditions must have been met. Practice identifying the contrapositive of conditional statements to strengthen this reasoning skill.

Question 2

An economic theory proposes: "If a nation increases its tariffs, then its domestic unemployment rate will either rise or remain stable." A recent report shows that a certain nation increased its tariffs, and its domestic unemployment rate fell.

  1. The nation must not have actually increased its tariffs.
  2. The economic theory has been logically refuted by this case. (correct answer)
  3. The fall in unemployment was caused by the tariff increase.
  4. The economic theory is consistent with this outcome.
Explanation: This is an application of Modus Tollens. Let P be 'a nation increases its tariffs' and Q be 'its domestic unemployment rate will either rise or remain stable'. The theory is P -> Q. The report shows P is true, and that unemployment fell, which is ~Q. The combination of P and ~Q forms a contradiction with the implication P -> Q. Thus, the theory is refuted by this counterexample.

Question 3

An artificial intelligence is programmed with the following directive: "If a solution has an efficiency score below 95%, do not implement it." The AI is then presented with a solution that it does, in fact, implement.

  1. The solution's efficiency score must be exactly 95%.
  2. The AI has violated its programming directive.
  3. The solution's efficiency score must be below 95%.
  4. The solution's efficiency score must be 95% or higher. (correct answer)
Explanation: This question tests logical reasoning about conditional statements and their implications. When you encounter problems involving "if-then" programming directives, focus on what the given information allows you to conclude with certainty. The AI's directive creates a clear rule: "If efficiency < 95%, then do not implement." Since we know the AI did implement the solution, we can use logical reasoning to determine what must be true about the efficiency score. If the solution had been below 95%, the AI would have been required not to implement it. But since implementation occurred, the efficiency score cannot be below 95% - it must be 95% or higher. This makes answer D correct. Let's examine why the other options fail: Answer A claims the score must be exactly 95%, but this is too restrictive. The directive only prohibits implementation below 95%, so any score of 95% or above (including 96%, 98%, 100%, etc.) would allow implementation. Answer B suggests the AI violated its programming, but there's no evidence of this - the AI could have perfectly followed its directive by implementing a solution scoring 95% or higher. Answer C directly contradicts the logical conclusion, claiming the score must be below 95%, which would have prevented implementation according to the directive. Remember this logical pattern: when you know a conditional rule was followed and you know the outcome, you can work backward to determine what conditions must have been met. Practice identifying the contrapositive of conditional statements to strengthen this reasoning skill.

Question 4

A company policy states: "An employee is ineligible for promotion unless that employee has completed the advanced training module." Records show that employee Jordan has completed the advanced training module.

  1. Jordan is definitely eligible for promotion.
  2. Jordan is definitely ineligible for promotion.
  3. Jordan's eligibility for promotion cannot be determined from the information given. (correct answer)
  4. The company policy has been incorrectly applied to Jordan.
Explanation: The phrase "A unless B" can be translated as "If not B, then A." So, the policy is: "If an employee has NOT completed the training (not B), then they are ineligible (A)." Jordan HAS completed the training, which is the negation of the antecedent (B is true, so 'not B' is false). This is the setup for the fallacy of Denying the Antecedent. Therefore, no valid conclusion can be drawn about Jordan's eligibility.

Question 5

A political scientist asserts, "For a state to be considered a true democracy, it is a necessary condition that it holds free and fair elections." A report on the state of Freedonia concludes that it does not hold free and fair elections.

  1. Freedonia might still be a true democracy.
  2. If Freedonia were to hold free elections, it would become a true democracy.
  3. The political scientist's assertion is proven wrong by Freedonia.
  4. Freedonia is not a true democracy. (correct answer)
Explanation: This question tests your understanding of necessary conditions in logical reasoning, a fundamental concept in philosophy and critical thinking. When someone claims that X is a "necessary condition" for Y, they're saying that Y cannot exist without X - in other words, if X is absent, then Y cannot be true. The political scientist states that free and fair elections are necessary for true democracy. This creates a logical structure: if a state lacks free and fair elections, it cannot be a true democracy. Since Freedonia does not hold free and fair elections, we can definitively conclude that Freedonia is not a true democracy. Let's examine why the other options fail. Option A suggests Freedonia might still be a democracy despite lacking the necessary condition - this directly contradicts the logical structure of necessary conditions. Option B confuses necessary conditions with sufficient conditions; just because free elections are necessary doesn't mean they alone are sufficient to guarantee democracy. Option C claims the assertion is proven wrong, but actually Freedonia's case is perfectly consistent with the political scientist's claim - it's an example that supports rather than refutes it. When you encounter necessary condition statements on philosophy exams, remember this key pattern: if the necessary condition is absent, the outcome cannot occur. Watch for answer choices that confuse necessary with sufficient conditions, or that suggest exceptions to necessary conditions are possible - these are common traps designed to test your logical precision.

Question 6

Consider the following premises:

  1. If the component is authentic (A), the device will function correctly (F).

  2. If the device functions correctly (F), the warranty is valid (V).

  3. The warranty for a specific device is not valid (¬V).

  1. The device is functioning correctly, but the component is not authentic.
  2. The component is not authentic. (correct answer)
  3. The device is not functioning correctly, but the component is authentic.
  4. The component is authentic.
Explanation: This argument requires a two-step application of Modus Tollens. From premise 2 (F → V) and premise 3 (¬V), we can conclude ¬F (the device is not functioning correctly). Then, using this new conclusion (¬F) with premise 1 (A → F), we can apply Modus Tollens again to conclude ¬A (the component is not authentic).

Question 7

Two logicians analyze the statement: "If an argument is sound, it must be valid." Logician 1 argues: "This argument here is valid; therefore, it must be sound." Logician 2 argues: "This other argument is not valid; therefore, it cannot be sound."

  1. Logician 1's argument is valid, but Logician 2's is not.
  2. Logician 2's argument is valid, but Logician 1's is not. (correct answer)
  3. Both arguments are logically valid.
  4. Neither argument is logically valid.
Explanation: Let S = 'The argument is sound' and V = 'The argument is valid'. The principle is S -> V. Logician 1's argument is: V, therefore S. This is the fallacy of Affirming the Consequent. Logician 2's argument is: not V, therefore not S. This is a valid application of Modus Tollens. Therefore, only Logician 2's argument is valid.

Question 8

An ethical framework states: "If an action maximizes overall happiness and respects individual rights, it is morally permissible." An analysis of a specific action reveals that it respects individual rights, but it does not maximize overall happiness.

  1. The action is morally permissible.
  2. The action is not morally permissible.
  3. The action is both morally permissible and not morally permissible.
  4. The moral permissibility of the action cannot be determined from the framework. (correct answer)
Explanation: The antecedent of the conditional is a conjunction: (Maximizes Happiness AND Respects Rights). Let this be (P and Q). The rule is (P and Q) -> R. The given information is Q and not-P. Since P is false, the entire conjunction (P and Q) is false. This means the antecedent is false. This is the setup for the fallacy of Denying the Antecedent. Therefore, no conclusion about R (moral permissibility) can be drawn.

Question 9

Consider the following premises:

  1. If the satellite is not on the correct trajectory, Mission Control will issue a correction.

  2. Mission Control did not issue a correction.

  1. The satellite is on the correct trajectory. (correct answer)
  2. The satellite is not on the correct trajectory.
  3. Mission Control has lost contact with the satellite.
  4. No conclusion about the satellite's trajectory can be drawn.
Explanation: This argument is a case of Modus Tollens where the antecedent is a negative statement. Let P = 'The satellite is on the correct trajectory'. The first premise is: If not-P, then Q. The second premise is not-Q. By Modus Tollens, we can conclude the negation of the antecedent, which is not-(not-P), or simply P. Thus, the satellite is on the correct trajectory.

Question 10

Consider the following premises:

  1. If the component is authentic (A), the device will function correctly (F).

  2. If the device functions correctly (F), the warranty is valid (V).

  3. The warranty for a specific device is not valid (¬V).

  1. The device is functioning correctly, but the component is not authentic.
  2. The component is not authentic. (correct answer)
  3. The device is not functioning correctly, but the component is authentic.
  4. The component is authentic.
Explanation: This argument requires a two-step application of Modus Tollens. From premise 2 (F → V) and premise 3 (¬V), we can conclude ¬F (the device is not functioning correctly). Then, using this new conclusion (¬F) with premise 1 (A → F), we can apply Modus Tollens again to conclude ¬A (the component is not authentic).

Question 11

A company policy states: "An employee is ineligible for promotion unless that employee has completed the advanced training module." Records show that employee Jordan has completed the advanced training module.

  1. Jordan is definitely eligible for promotion.
  2. Jordan is definitely ineligible for promotion.
  3. Jordan's eligibility for promotion cannot be determined from the information given. (correct answer)
  4. The company policy has been incorrectly applied to Jordan.
Explanation: The phrase "A unless B" can be translated as "If not B, then A." So, the policy is: "If an employee has NOT completed the training (not B), then they are ineligible (A)." Jordan HAS completed the training, which is the negation of the antecedent (B is true, so 'not B' is false). This is the setup for the fallacy of Denying the Antecedent. Therefore, no valid conclusion can be drawn about Jordan's eligibility.

Question 12

Two logicians analyze the statement: "If an argument is sound, it must be valid." Logician 1 argues: "This argument here is valid; therefore, it must be sound." Logician 2 argues: "This other argument is not valid; therefore, it cannot be sound."

  1. Logician 1's argument is valid, but Logician 2's is not.
  2. Logician 2's argument is valid, but Logician 1's is not. (correct answer)
  3. Both arguments are logically valid.
  4. Neither argument is logically valid.
Explanation: Let S = 'The argument is sound' and V = 'The argument is valid'. The principle is S -> V. Logician 1's argument is: V, therefore S. This is the fallacy of Affirming the Consequent. Logician 2's argument is: not V, therefore not S. This is a valid application of Modus Tollens. Therefore, only Logician 2's argument is valid.

Question 13

An ethical framework states: "If an action maximizes overall happiness and respects individual rights, it is morally permissible." An analysis of a specific action reveals that it respects individual rights, but it does not maximize overall happiness.

  1. The action is morally permissible.
  2. The action is not morally permissible.
  3. The action is both morally permissible and not morally permissible.
  4. The moral permissibility of the action cannot be determined from the framework. (correct answer)
Explanation: The antecedent of the conditional is a conjunction: (Maximizes Happiness AND Respects Rights). Let this be (P and Q). The rule is (P and Q) -> R. The given information is Q and not-P. Since P is false, the entire conjunction (P and Q) is false. This means the antecedent is false. This is the setup for the fallacy of Denying the Antecedent. Therefore, no conclusion about R (moral permissibility) can be drawn.

Question 14

A political scientist asserts, "For a state to be considered a true democracy, it is a necessary condition that it holds free and fair elections." A report on the state of Freedonia concludes that it does not hold free and fair elections.

  1. Freedonia might still be a true democracy.
  2. If Freedonia were to hold free elections, it would become a true democracy.
  3. The political scientist's assertion is proven wrong by Freedonia.
  4. Freedonia is not a true democracy. (correct answer)
Explanation: This question tests your understanding of necessary conditions in logical reasoning, a fundamental concept in philosophy and critical thinking. When someone claims that X is a "necessary condition" for Y, they're saying that Y cannot exist without X - in other words, if X is absent, then Y cannot be true. The political scientist states that free and fair elections are necessary for true democracy. This creates a logical structure: if a state lacks free and fair elections, it cannot be a true democracy. Since Freedonia does not hold free and fair elections, we can definitively conclude that Freedonia is not a true democracy. Let's examine why the other options fail. Option A suggests Freedonia might still be a democracy despite lacking the necessary condition - this directly contradicts the logical structure of necessary conditions. Option B confuses necessary conditions with sufficient conditions; just because free elections are necessary doesn't mean they alone are sufficient to guarantee democracy. Option C claims the assertion is proven wrong, but actually Freedonia's case is perfectly consistent with the political scientist's claim - it's an example that supports rather than refutes it. When you encounter necessary condition statements on philosophy exams, remember this key pattern: if the necessary condition is absent, the outcome cannot occur. Watch for answer choices that confuse necessary with sufficient conditions, or that suggest exceptions to necessary conditions are possible - these are common traps designed to test your logical precision.

Question 15

An analyst argues: "If the market sentiment is positive, our stock portfolio will gain value. The market sentiment is indeed positive. Therefore, our stock portfolio will gain value." A colleague points out that on several past occasions when market sentiment was positive, the portfolio lost value due to unforeseen geopolitical events.

  1. The logical validity of the analyst's argument.
  2. The truth of the first premise, the conditional statement. (correct answer)
  3. The truth of the second premise, the factual claim.
  4. The logical form, which commits the fallacy of affirming the consequent.
Explanation: The analyst's argument has the structure of Modus Ponens (If P, then Q. P. Therefore, Q.), which is a valid logical form. The colleague's comment does not challenge the structure but rather the truth of the first premise ("If the market sentiment is positive, our stock portfolio will gain value"). By providing counterexamples, the colleague suggests this conditional statement is not a reliable rule, challenging the soundness of the argument, not its validity.

Question 16

An economic theory proposes: "If a nation increases its tariffs, then its domestic unemployment rate will either rise or remain stable." A recent report shows that a certain nation increased its tariffs, and its domestic unemployment rate fell.

  1. The nation must not have actually increased its tariffs.
  2. The economic theory has been logically refuted by this case. (correct answer)
  3. The fall in unemployment was caused by the tariff increase.
  4. The economic theory is consistent with this outcome.
Explanation: This is an application of Modus Tollens. Let P be 'a nation increases its tariffs' and Q be 'its domestic unemployment rate will either rise or remain stable'. The theory is P -> Q. The report shows P is true, and that unemployment fell, which is ~Q. The combination of P and ~Q forms a contradiction with the implication P -> Q. Thus, the theory is refuted by this counterexample.

Question 17

An analyst argues: "If the market sentiment is positive, our stock portfolio will gain value. The market sentiment is indeed positive. Therefore, our stock portfolio will gain value." A colleague points out that on several past occasions when market sentiment was positive, the portfolio lost value due to unforeseen geopolitical events.

  1. The logical validity of the analyst's argument.
  2. The truth of the first premise, the conditional statement. (correct answer)
  3. The truth of the second premise, the factual claim.
  4. The logical form, which commits the fallacy of affirming the consequent.
Explanation: The analyst's argument has the structure of Modus Ponens (If P, then Q. P. Therefore, Q.), which is a valid logical form. The colleague's comment does not challenge the structure but rather the truth of the first premise ("If the market sentiment is positive, our stock portfolio will gain value"). By providing counterexamples, the colleague suggests this conditional statement is not a reliable rule, challenging the soundness of the argument, not its validity.

Question 18

A historian is analyzing an ancient text which claims: "If the harvest was poor, the gods were angry." The historian has other evidence confirming that for a particular year, the gods were not angry.

  1. The harvest for that year must have been poor.
  2. Nothing can be concluded about the harvest for that year.
  3. The claim in the ancient text must be false.
  4. The harvest for that year must not have been poor. (correct answer)
Explanation: This question tests your understanding of logical reasoning, specifically how to work with conditional statements and their contrapositives. When you encounter "if-then" statements in philosophy or logic, you need to recognize what can and cannot be validly concluded. The ancient text states: "If the harvest was poor, then the gods were angry." In logical form, this is: Poor harvest → Gods angry. The historian has evidence that the gods were not angry. Using the contrapositive rule—one of the most reliable tools in logic—we can conclude that if the gods were not angry, then the harvest was not poor. This makes answer D correct: the harvest must not have been poor. Let's examine why the other options fail: A commits the fallacy of affirming the consequent—just because we know the gods weren't angry doesn't mean we can work backwards to conclude the harvest was poor. B is incorrect because we actually can draw a definitive conclusion using logical reasoning. C goes too far by claiming the entire ancient text is false; the conditional statement could still be true even though this particular instance shows the gods weren't angry. Remember that conditional statements only work in one direction, but their contrapositives are equally valid. When you see "If P, then Q" and you know Q is false, you can always conclude P is false. This contrapositive reasoning appears frequently in philosophy exams, so practice identifying the logical structure of conditional statements and their valid inferences.

Question 19

A meteorologist states on the evening news, "If the cold front moves in as predicted, we will see snow tomorrow." The next day, the city is covered in snow.

  1. The cold front must have moved in as predicted.
  2. The meteorologist's prediction was logically certain to be correct.
  3. The cold front might not have moved in as predicted. (correct answer)
  4. If there had been no cold front, there would have been no snow.
Explanation: The meteorologist's statement has the form: If P (cold front), then Q (snow). The observation is Q (it snowed). To conclude P would be to commit the fallacy of Affirming the Consequent. Snow could have been caused by a different weather pattern not involving the predicted cold front. Therefore, while the front might have moved in, it is not logically guaranteed.

Question 20

A fundamental rule of grammar states that every complete sentence in English must contain a verb. A linguist analyzes a string of words and determines that it does not contain a verb.

  1. The string of words is not a complete sentence in English. (correct answer)
  2. The fundamental rule of grammar is incorrect.
  3. The string of words is meaningless.
  4. The linguist's analysis of the string of words is flawed.
Explanation: This problem requires translating the rule into a conditional and applying Modus Tollens. The rule is: "If X is a complete sentence in English, then X contains a verb." The linguist provides the premise: "This string of words does not contain a verb" (the negation of the consequent). Modus Tollens allows the valid conclusion that "This string of words is not a complete sentence in English" (the negation of the antecedent).