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 “No reptiles have fur” and “All lemurs have fur”, can any lemur be a reptile (Yes / No)?
Given “No reptiles have fu… · Deductive & contrapositive…
2. 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…
3. 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…
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. What is the contrapositive of “If it rains, the pitch is wet”: “If the pitch is not wet, it did not rain” or “If the pitch is wet, it rained”?
What is the contrapositive… · Deductive & contrapositive…
6. If “P ∧ Q” (P and Q) is True, what must be the truth value of P: True or False?
“P ∧ Q” · Deductive & contrapositive…
7. 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…
8. 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…
9. Is “Having four sides” a necessary condition or a sufficient condition for a polygon to be a square?
“Having four sides” · Deductive & contrapositive…
10. What single counterexample disproves the universal claim “All prime numbers are odd”?
What single counterexample… · 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. 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…

12 questions · Seed 104767 · 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 “No reptiles have fur” and “All lemurs have fur”, can any lemur be a reptile (Yes / No)?
No
Since reptiles have no fur and lemurs have fur, the two sets are disjoint.
2. 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.
3. 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”).
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. What is the contrapositive of “If it rains, the pitch is wet”: “If the pitch is not wet, it did not rain” or “If the pitch is wet, it rained”?
If the pitch is not wet, it did not rain
The contrapositive of “If P then Q” is “If not Q then not P”, which is logically equivalent.
6. 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.
7. 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.
8. 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.
9. 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).
10. 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.
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. 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.

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

Worksheet StudioPractice pack · Ages 16-18

Deductive & contrapositive logic

Take your time. Show your thinking.

1. Given “No reptiles have fur” and “All lemurs have fur”, can any lemur be a reptile (Yes / No)?
Given “No reptiles have fu… · Deductive & contrapositive…
2. 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…
3. 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…
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. What is the contrapositive of “If it rains, the pitch is wet”: “If the pitch is not wet, it did not rain” or “If the pitch is wet, it rained”?
What is the contrapositive… · Deductive & contrapositive…
6. If “P ∧ Q” (P and Q) is True, what must be the truth value of P: True or False?
“P ∧ Q” · Deductive & contrapositive…
7. 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…
8. 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…
9. Is “Having four sides” a necessary condition or a sufficient condition for a polygon to be a square?
“Having four sides” · Deductive & contrapositive…
10. What single counterexample disproves the universal claim “All prime numbers are odd”?
What single counterexample… · 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. 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…

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

Worksheet StudioAnswer key · Ages 16-18

Deductive & contrapositive logic

Answers and reasoning. Review before teaching.

1. Given “No reptiles have fur” and “All lemurs have fur”, can any lemur be a reptile (Yes / No)?
No
Since reptiles have no fur and lemurs have fur, the two sets are disjoint.
2. 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.
3. 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”).
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. What is the contrapositive of “If it rains, the pitch is wet”: “If the pitch is not wet, it did not rain” or “If the pitch is wet, it rained”?
If the pitch is not wet, it did not rain
The contrapositive of “If P then Q” is “If not Q then not P”, which is logically equivalent.
6. 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.
7. 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.
8. 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.
9. 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).
10. 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.
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. 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.

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