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. 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…
2. 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…
3. 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…
4. Does “If a metal is iron, it is magnetic” logically imply “If a metal is magnetic, it must be iron” (Yes / No)?
Does “If a metal is iron, … · Deductive & contrapositive…
5. Is “Being a multiple of 4” a sufficient condition or only a necessary condition for “Being an even number”?
4 · Deductive & contrapositive…
6. 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…
7. 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…
8. What is the logical negation of “All birds can fly”: “At least one bird cannot fly” or “No birds can fly”?
“All birds can fly” · “No bird · Deductive & contrapositive…
9. If “P ∧ Q” (P and Q) is True, what must be the truth value of P: True or False?
“P ∧ Q” · Deductive & contrapositive…
10. 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…
11. Given “If a triangle is equilateral, all its interior angles are 60°” and “Triangle T has an angle of 90°”, can T be equilateral (Yes / No)?
60° · 90° · Deductive & contrapositive…
12. 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…

12 questions · Seed 104730 · 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. 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.
2. 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.
3. 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.
4. Does “If a metal is iron, it is magnetic” logically imply “If a metal is magnetic, it must be iron” (Yes / No)?
No
Assuming the converse is a fallacy; nickel and cobalt are also magnetic metals.
5. Is “Being a multiple of 4” a sufficient condition or only a necessary condition for “Being an even number”?
Sufficient
Every multiple of 4 is guaranteed to be even (sufficient), though an even number like 6 need not be a multiple of 4.
6. 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.
7. 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.
8. What is the logical negation of “All birds can fly”: “At least one bird cannot fly” or “No birds can fly”?
At least one bird cannot fly
The negation of a universal statement (∀x P(x)) is an existential statement (∃x ¬P(x)).
9. If “P ∧ Q” (P and Q) is True, what must be the truth value of P: True or False?
True
A conjunction P ∧ Q is true only when both P is true and Q is true.
10. 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.
11. Given “If a triangle is equilateral, all its interior angles are 60°” and “Triangle T has an angle of 90°”, can T be equilateral (Yes / No)?
No
By Modus Tollens, since not all angles of T are 60°, T cannot be equilateral.
12. 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.

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

Worksheet StudioPractice pack · Ages 16-18

Deductive & contrapositive logic

Take your time. Show your thinking.

1. 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…
2. 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…
3. 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…
4. Does “If a metal is iron, it is magnetic” logically imply “If a metal is magnetic, it must be iron” (Yes / No)?
Does “If a metal is iron, … · Deductive & contrapositive…
5. Is “Being a multiple of 4” a sufficient condition or only a necessary condition for “Being an even number”?
4 · Deductive & contrapositive…
6. 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…
7. 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…
8. What is the logical negation of “All birds can fly”: “At least one bird cannot fly” or “No birds can fly”?
“All birds can fly” · “No bird · Deductive & contrapositive…
9. If “P ∧ Q” (P and Q) is True, what must be the truth value of P: True or False?
“P ∧ Q” · Deductive & contrapositive…
10. 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…
11. Given “If a triangle is equilateral, all its interior angles are 60°” and “Triangle T has an angle of 90°”, can T be equilateral (Yes / No)?
60° · 90° · Deductive & contrapositive…
12. 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…

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

Worksheet StudioAnswer key · Ages 16-18

Deductive & contrapositive logic

Answers and reasoning. Review before teaching.

1. 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.
2. 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.
3. 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.
4. Does “If a metal is iron, it is magnetic” logically imply “If a metal is magnetic, it must be iron” (Yes / No)?
No
Assuming the converse is a fallacy; nickel and cobalt are also magnetic metals.
5. Is “Being a multiple of 4” a sufficient condition or only a necessary condition for “Being an even number”?
Sufficient
Every multiple of 4 is guaranteed to be even (sufficient), though an even number like 6 need not be a multiple of 4.
6. 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.
7. 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.
8. What is the logical negation of “All birds can fly”: “At least one bird cannot fly” or “No birds can fly”?
At least one bird cannot fly
The negation of a universal statement (∀x P(x)) is an existential statement (∃x ¬P(x)).
9. If “P ∧ Q” (P and Q) is True, what must be the truth value of P: True or False?
True
A conjunction P ∧ Q is true only when both P is true and Q is true.
10. 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.
11. Given “If a triangle is equilateral, all its interior angles are 60°” and “Triangle T has an angle of 90°”, can T be equilateral (Yes / No)?
No
By Modus Tollens, since not all angles of T are 60°, T cannot be equilateral.
12. 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.

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