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. 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…
2. 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…
3. What single counterexample disproves the universal claim “All prime numbers are odd”?
What single counterexample… · Deductive & contrapositive…
4. 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…
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 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. 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…
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. 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…
10. 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…
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. If statement P is False and statement Q is True, is the implication “P → Q” True or False in classical logic?
“P → Q” · Deductive & contrapositive…

12 questions · Seed 104752 · 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. 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.
2. 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.
3. 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.
4. 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.
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 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. 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.
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. 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.
10. 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.
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. If statement P is False and statement Q is True, is the implication “P → Q” True or False in classical logic?
True
A conditional P → Q is only false when P is true and Q is false; with a false hypothesis it is vacuously true.

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

Worksheet StudioPractice pack · Ages 16-18

Deductive & contrapositive logic

Take your time. Show your thinking.

1. 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…
2. 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…
3. What single counterexample disproves the universal claim “All prime numbers are odd”?
What single counterexample… · Deductive & contrapositive…
4. 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…
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 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. 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…
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. 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…
10. 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…
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. If statement P is False and statement Q is True, is the implication “P → Q” True or False in classical logic?
“P → Q” · Deductive & contrapositive…

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

Worksheet StudioAnswer key · Ages 16-18

Deductive & contrapositive logic

Answers and reasoning. Review before teaching.

1. 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.
2. 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.
3. 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.
4. 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.
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 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. 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.
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. 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.
10. 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.
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. If statement P is False and statement Q is True, is the implication “P → Q” True or False in classical logic?
True
A conditional P → Q is only false when P is true and Q is false; with a false hypothesis it is vacuously true.

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