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 “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…
2. 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…
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. Is “Being a multiple of 4” a sufficient condition or only a necessary condition for “Being an even number”?
4 · Deductive & contrapositive…
5. 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…
6. 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…
7. 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…
8. 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…
9. 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…
10. If “P ∧ Q” (P and Q) is True, what must be the truth value of P: True or False?
“P ∧ Q” · Deductive & contrapositive…
11. 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. 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…

12 questions · Seed 104740 · 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 “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.
2. 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.
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. 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.
5. 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.
6. 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.
7. 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”).
8. 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.
9. 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.
10. 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.
11. 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. 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)).

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

Worksheet StudioPractice pack · Ages 16-18

Deductive & contrapositive logic

Take your time. Show your thinking.

1. 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…
2. 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…
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. Is “Being a multiple of 4” a sufficient condition or only a necessary condition for “Being an even number”?
4 · Deductive & contrapositive…
5. 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…
6. 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…
7. 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…
8. 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…
9. 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…
10. If “P ∧ Q” (P and Q) is True, what must be the truth value of P: True or False?
“P ∧ Q” · Deductive & contrapositive…
11. 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. 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…

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

Worksheet StudioAnswer key · Ages 16-18

Deductive & contrapositive logic

Answers and reasoning. Review before teaching.

1. 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.
2. 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.
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. 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.
5. 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.
6. 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.
7. 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”).
8. 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.
9. 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.
10. 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.
11. 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. 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)).

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