ReasoningAges 16-18

Deductive & contrapositive logic

Evaluate conditional statements, contrapositives and valid deductive inferences. Review suitability for your learners before teaching.

New variation Try interactive challenge Browse templates

Choose “Save as PDF” to keep a copy. Use your browser’s paper setting for A4 or Letter.

Worksheet StudioPractice pack · Ages 16-18

Deductive & contrapositive logic

Take your time. Show your thinking.

1. By De Morgan’s laws, the negation of “Either X or Y is true” is: “Neither X nor Y is true” or “Only X is false”?
“Only X is false” · Deductive & contrapositive…
2. If “P ∨ Q” (P or Q) is False, what must be the truth value of both P and Q: Both False, or Both True?
“P ∨ Q” · Deductive & contrapositive…
3. What single counterexample disproves the universal claim “All prime numbers are odd”?
What single counterexample… · Deductive & contrapositive…
4. If statement P is False and statement Q is True, is the implication “P → Q” True or False in classical logic?
“P → Q” · Deductive & contrapositive…
5. Is “Having four sides” a necessary condition or a sufficient condition for a polygon to be a square?
“Having four sides” · Deductive & contrapositive…
6. Given “If A → B” and “If B → C”, what follows if A is true: “C is true” or “C is false”?
“If A → B” · “If B → C” · Deductive & contrapositive…
7. Given “All prime numbers greater than 2 are odd” and “p = 17 is a prime greater than 2”, is 17 odd (Yes / No)?
2 · 17 · 2 · 17 · Deductive & contrapositive…
8. Given “If the solution turns blue litmus red, it is acidic” and “The litmus did NOT turn red”, is the solution acidic (Yes / No)?
Given “If the solution tur… · Deductive & contrapositive…
9. To disprove “For every integer n, n² > n”, which value of n serves as a valid counterexample: “1” or “3”?
“1” · “3” · Deductive & contrapositive…
10. Given “If a figure is a square, then it has four equal sides” and “Figure X does NOT have four equal sides”, can X be a square (Yes / No)?
Given “If a figure is a sq… · Deductive & contrapositive…
11. In a biconditional statement “P if and only if Q”, when is the statement True: when P and Q have the same truth value, or when P and Q have opposite truth values?
“P if and only if Q” · Deductive & contrapositive…
12. Given “Either the fuse blew OR the switch is off” and “The switch is NOT off”, did the fuse blow (Yes / No)?
Given “Either the fuse ble… · Deductive & contrapositive…

12 questions · Seed 104765 · Age guidance, not curriculum certification

View the answer key

Worksheet StudioAnswer key · Ages 16-18

Deductive & contrapositive logic

Answers and reasoning. Review before teaching.

1. By De Morgan’s laws, the negation of “Either X or Y is true” is: “Neither X nor Y is true” or “Only X is false”?
Neither X nor Y is true
¬(X ∨ Y) is logically equivalent to (¬X ∧ ¬Y): both X and Y are false.
2. If “P ∨ Q” (P or Q) is False, what must be the truth value of both P and Q: Both False, or Both True?
Both False
An inclusive disjunction P ∨ Q is false only when both P and Q are false.
3. What single counterexample disproves the universal claim “All prime numbers are odd”?
2
2 is a prime number (divisible only by 1 and 2) and is even, disproving the universal claim.
4. If statement P is False and statement Q is True, is the implication “P → Q” True or False in classical logic?
True
A conditional P → Q is only false when P is true and Q is false; with a false hypothesis it is vacuously true.
5. Is “Having four sides” a necessary condition or a sufficient condition for a polygon to be a square?
Necessary
A square must have four sides (necessary), but a rectangle or rhombus also has four sides (so it is not sufficient).
6. Given “If A → B” and “If B → C”, what follows if A is true: “C is true” or “C is false”?
C is true
By hypothetical syllogism (transitivity of implication), A → B and B → C together imply A → C.
7. Given “All prime numbers greater than 2 are odd” and “p = 17 is a prime greater than 2”, is 17 odd (Yes / No)?
Yes
Universal instantiation applies the rule to p = 17, so 17 is odd.
8. Given “If the solution turns blue litmus red, it is acidic” and “The litmus did NOT turn red”, is the solution acidic (Yes / No)?
No
By Modus Tollens, since the consequent is false, the antecedent must be false.
9. To disprove “For every integer n, n² > n”, which value of n serves as a valid counterexample: “1” or “3”?
1
For n = 1, 1² = 1, which is not greater than 1 (n = 0 also works).
10. Given “If a figure is a square, then it has four equal sides” and “Figure X does NOT have four equal sides”, can X be a square (Yes / No)?
No
By Modus Tollens (if P then Q; not Q; therefore not P), X cannot be a square.
11. In a biconditional statement “P if and only if Q”, when is the statement True: when P and Q have the same truth value, or when P and Q have opposite truth values?
When P and Q have the same truth value
P ↔ Q is true when both P and Q are true, or when both P and Q are false.
12. Given “Either the fuse blew OR the switch is off” and “The switch is NOT off”, did the fuse blow (Yes / No)?
Yes
By disjunctive syllogism (P or Q; not Q; therefore P), the fuse blew.

12 questions · Seed 104765 · Age guidance, not curriculum certification

Worksheet StudioPractice pack · Ages 16-18

Deductive & contrapositive logic

Take your time. Show your thinking.

1. By De Morgan’s laws, the negation of “Either X or Y is true” is: “Neither X nor Y is true” or “Only X is false”?
“Only X is false” · Deductive & contrapositive…
2. If “P ∨ Q” (P or Q) is False, what must be the truth value of both P and Q: Both False, or Both True?
“P ∨ Q” · Deductive & contrapositive…
3. What single counterexample disproves the universal claim “All prime numbers are odd”?
What single counterexample… · Deductive & contrapositive…
4. If statement P is False and statement Q is True, is the implication “P → Q” True or False in classical logic?
“P → Q” · Deductive & contrapositive…
5. Is “Having four sides” a necessary condition or a sufficient condition for a polygon to be a square?
“Having four sides” · Deductive & contrapositive…
6. Given “If A → B” and “If B → C”, what follows if A is true: “C is true” or “C is false”?
“If A → B” · “If B → C” · Deductive & contrapositive…
7. Given “All prime numbers greater than 2 are odd” and “p = 17 is a prime greater than 2”, is 17 odd (Yes / No)?
2 · 17 · 2 · 17 · Deductive & contrapositive…
8. Given “If the solution turns blue litmus red, it is acidic” and “The litmus did NOT turn red”, is the solution acidic (Yes / No)?
Given “If the solution tur… · Deductive & contrapositive…
9. To disprove “For every integer n, n² > n”, which value of n serves as a valid counterexample: “1” or “3”?
“1” · “3” · Deductive & contrapositive…
10. Given “If a figure is a square, then it has four equal sides” and “Figure X does NOT have four equal sides”, can X be a square (Yes / No)?
Given “If a figure is a sq… · Deductive & contrapositive…
11. In a biconditional statement “P if and only if Q”, when is the statement True: when P and Q have the same truth value, or when P and Q have opposite truth values?
“P if and only if Q” · Deductive & contrapositive…
12. Given “Either the fuse blew OR the switch is off” and “The switch is NOT off”, did the fuse blow (Yes / No)?
Given “Either the fuse ble… · Deductive & contrapositive…

12 questions · Seed 104765 · Age guidance, not curriculum certification

Worksheet StudioAnswer key · Ages 16-18

Deductive & contrapositive logic

Answers and reasoning. Review before teaching.

1. By De Morgan’s laws, the negation of “Either X or Y is true” is: “Neither X nor Y is true” or “Only X is false”?
Neither X nor Y is true
¬(X ∨ Y) is logically equivalent to (¬X ∧ ¬Y): both X and Y are false.
2. If “P ∨ Q” (P or Q) is False, what must be the truth value of both P and Q: Both False, or Both True?
Both False
An inclusive disjunction P ∨ Q is false only when both P and Q are false.
3. What single counterexample disproves the universal claim “All prime numbers are odd”?
2
2 is a prime number (divisible only by 1 and 2) and is even, disproving the universal claim.
4. If statement P is False and statement Q is True, is the implication “P → Q” True or False in classical logic?
True
A conditional P → Q is only false when P is true and Q is false; with a false hypothesis it is vacuously true.
5. Is “Having four sides” a necessary condition or a sufficient condition for a polygon to be a square?
Necessary
A square must have four sides (necessary), but a rectangle or rhombus also has four sides (so it is not sufficient).
6. Given “If A → B” and “If B → C”, what follows if A is true: “C is true” or “C is false”?
C is true
By hypothetical syllogism (transitivity of implication), A → B and B → C together imply A → C.
7. Given “All prime numbers greater than 2 are odd” and “p = 17 is a prime greater than 2”, is 17 odd (Yes / No)?
Yes
Universal instantiation applies the rule to p = 17, so 17 is odd.
8. Given “If the solution turns blue litmus red, it is acidic” and “The litmus did NOT turn red”, is the solution acidic (Yes / No)?
No
By Modus Tollens, since the consequent is false, the antecedent must be false.
9. To disprove “For every integer n, n² > n”, which value of n serves as a valid counterexample: “1” or “3”?
1
For n = 1, 1² = 1, which is not greater than 1 (n = 0 also works).
10. Given “If a figure is a square, then it has four equal sides” and “Figure X does NOT have four equal sides”, can X be a square (Yes / No)?
No
By Modus Tollens (if P then Q; not Q; therefore not P), X cannot be a square.
11. In a biconditional statement “P if and only if Q”, when is the statement True: when P and Q have the same truth value, or when P and Q have opposite truth values?
When P and Q have the same truth value
P ↔ Q is true when both P and Q are true, or when both P and Q are false.
12. Given “Either the fuse blew OR the switch is off” and “The switch is NOT off”, did the fuse blow (Yes / No)?
Yes
By disjunctive syllogism (P or Q; not Q; therefore P), the fuse blew.

12 questions · Seed 104765 · Age guidance, not curriculum certification