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. 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…
2. By De Morgan’s laws, the negation of “Both X and Y are true” is: “At least one of X or Y is false” or “Both X and Y are false”?
By De Morgan’s laws, the n… · Deductive & contrapositive…
3. Is “Having four sides” a necessary condition or a sufficient condition for a polygon to be a square?
“Having four sides” · Deductive & contrapositive…
4. Given “Every square is a rectangle” and “Every rectangle is a parallelogram”, does it follow that “Every square is a parallelogram” (Yes / No)?
Given “Every square is a r… · Deductive & contrapositive…
5. What single counterexample disproves the universal claim “All prime numbers are odd”?
What single counterexample… · Deductive & contrapositive…
6. 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…
7. Does “If n is divisible by 10, then n is divisible by 5” have a true contrapositive: “If n is not divisible by 5, then n is not divisible by 10” (Yes / No)?
10 · 5 · 5 · 10 · Deductive & contrapositive…
8. What is the logical negation of “Some integers are negative”: “No integers are negative” or “Some integers are positive”?
What is the logical negati… · Deductive & contrapositive…
9. 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…
10. 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…
11. Given “If a number is divisible by 6, then it is even” and “N is divisible by 6”, is N even (Yes / No)?
6 · 6 · Deductive & contrapositive…
12. To disprove “For every integer n, n² > n”, which value of n serves as a valid counterexample: “1” or “3”?
“1” · “3” · Deductive & contrapositive…

12 questions · Seed 104751 · 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. 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.
2. By De Morgan’s laws, the negation of “Both X and Y are true” is: “At least one of X or Y is false” or “Both X and Y are false”?
At least one of X or Y is false
¬(X ∧ Y) is logically equivalent to (¬X ∨ ¬Y): at least one is false.
3. 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).
4. Given “Every square is a rectangle” and “Every rectangle is a parallelogram”, does it follow that “Every square is a parallelogram” (Yes / No)?
Yes
Subset inclusion is transitive: Squares ⊆ Rectangles ⊆ Parallelograms.
5. 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.
6. 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.
7. Does “If n is divisible by 10, then n is divisible by 5” have a true contrapositive: “If n is not divisible by 5, then n is not divisible by 10” (Yes / No)?
Yes
A conditional and its contrapositive are always logically equivalent.
8. What is the logical negation of “Some integers are negative”: “No integers are negative” or “Some integers are positive”?
No integers are negative
The negation of ∃x P(x) is ∀x ¬P(x) (“No integers are negative”).
9. 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.
10. 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.
11. Given “If a number is divisible by 6, then it is even” and “N is divisible by 6”, is N even (Yes / No)?
Yes
By Modus Ponens (if P then Q; P is true; therefore Q is true), N must be even.
12. 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).

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

Worksheet StudioPractice pack · Ages 16-18

Deductive & contrapositive logic

Take your time. Show your thinking.

1. 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…
2. By De Morgan’s laws, the negation of “Both X and Y are true” is: “At least one of X or Y is false” or “Both X and Y are false”?
By De Morgan’s laws, the n… · Deductive & contrapositive…
3. Is “Having four sides” a necessary condition or a sufficient condition for a polygon to be a square?
“Having four sides” · Deductive & contrapositive…
4. Given “Every square is a rectangle” and “Every rectangle is a parallelogram”, does it follow that “Every square is a parallelogram” (Yes / No)?
Given “Every square is a r… · Deductive & contrapositive…
5. What single counterexample disproves the universal claim “All prime numbers are odd”?
What single counterexample… · Deductive & contrapositive…
6. 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…
7. Does “If n is divisible by 10, then n is divisible by 5” have a true contrapositive: “If n is not divisible by 5, then n is not divisible by 10” (Yes / No)?
10 · 5 · 5 · 10 · Deductive & contrapositive…
8. What is the logical negation of “Some integers are negative”: “No integers are negative” or “Some integers are positive”?
What is the logical negati… · Deductive & contrapositive…
9. 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…
10. 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…
11. Given “If a number is divisible by 6, then it is even” and “N is divisible by 6”, is N even (Yes / No)?
6 · 6 · Deductive & contrapositive…
12. To disprove “For every integer n, n² > n”, which value of n serves as a valid counterexample: “1” or “3”?
“1” · “3” · Deductive & contrapositive…

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

Worksheet StudioAnswer key · Ages 16-18

Deductive & contrapositive logic

Answers and reasoning. Review before teaching.

1. 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.
2. By De Morgan’s laws, the negation of “Both X and Y are true” is: “At least one of X or Y is false” or “Both X and Y are false”?
At least one of X or Y is false
¬(X ∧ Y) is logically equivalent to (¬X ∨ ¬Y): at least one is false.
3. 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).
4. Given “Every square is a rectangle” and “Every rectangle is a parallelogram”, does it follow that “Every square is a parallelogram” (Yes / No)?
Yes
Subset inclusion is transitive: Squares ⊆ Rectangles ⊆ Parallelograms.
5. 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.
6. 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.
7. Does “If n is divisible by 10, then n is divisible by 5” have a true contrapositive: “If n is not divisible by 5, then n is not divisible by 10” (Yes / No)?
Yes
A conditional and its contrapositive are always logically equivalent.
8. What is the logical negation of “Some integers are negative”: “No integers are negative” or “Some integers are positive”?
No integers are negative
The negation of ∃x P(x) is ∀x ¬P(x) (“No integers are negative”).
9. 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.
10. 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.
11. Given “If a number is divisible by 6, then it is even” and “N is divisible by 6”, is N even (Yes / No)?
Yes
By Modus Ponens (if P then Q; P is true; therefore Q is true), N must be even.
12. 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).

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