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. 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…
2. 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…
3. 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…
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. 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…
6. 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…
7. What single counterexample disproves the universal claim “All prime numbers are odd”?
What single counterexample… · Deductive & contrapositive…
8. 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…
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. 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…
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 104770 · 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. 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.
2. 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.
3. 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.
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. 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.
6. 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.
7. 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.
8. 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.
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. 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.
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 104770 · Age guidance, not curriculum certification

Worksheet StudioPractice pack · Ages 16-18

Deductive & contrapositive logic

Take your time. Show your thinking.

1. 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…
2. 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…
3. 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…
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. 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…
6. 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…
7. What single counterexample disproves the universal claim “All prime numbers are odd”?
What single counterexample… · Deductive & contrapositive…
8. 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…
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. 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…
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 104770 · Age guidance, not curriculum certification

Worksheet StudioAnswer key · Ages 16-18

Deductive & contrapositive logic

Answers and reasoning. Review before teaching.

1. 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.
2. 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.
3. 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.
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. 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.
6. 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.
7. 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.
8. 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.
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. 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.
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 104770 · Age guidance, not curriculum certification