ReasoningAbility.com

Counterexample Generation: Worksheet 10 - Expert Practice Counterexample Generation EXPERT

Ready to master Counterexample Generation? This accuracy focus 👑 worksheet (10/10) presents 20 expert-level challenges. Focus area: application-based learning. Learn to solve counterexample generation reasoning tricks, handle fast counterexample generation solving, and perfect counterexample generation mastery with our step-by-step solutions.

📝 Worksheet 10 of 10 • 20 questions • ⏱️ Estimated time: 20 minutes • 🎯 Expert level

What you'll learn in this worksheet:
Your progress through Counterexample Generation
Worksheet 10 of 10 (100% complete)

Question 1

Find a counterexample to show this statement is FALSE: "p ∨ q is logically equivalent to p ⊕ q" Provide truth values for p, q, r that make the two sides different.
Inclusive OR is true when both are true; exclusive OR is false when both are true.

p=True, q=True: p∨q=True, p⊕q=False → Different!

Question 2

Find a counterexample to show this statement is FALSE: "p ∨ q is logically equivalent to p ⊕ q" Provide truth values for p, q, r that make the two sides different.
Inclusive OR is true when both are true; exclusive OR is false when both are true.

p=True, q=True: p∨q=True, p⊕q=False → Different!

Question 3

Find a counterexample to show this statement is FALSE: "p → q is logically equivalent to q → p" Provide truth values for p, q, r that make the two sides different.
Implication is not symmetric. Converse is not equivalent to original.

p=True, q=False: p→q=False, q→p=True → Different!

Question 4

Find a counterexample to show this statement is FALSE: "p ∨ q is logically equivalent to p ⊕ q" Provide truth values for p, q, r that make the two sides different.
Inclusive OR is true when both are true; exclusive OR is false when both are true.

p=True, q=True: p∨q=True, p⊕q=False → Different!

Question 5

Find a counterexample to show this statement is FALSE: "p → q is equivalent to ¬p → ¬q" Provide truth values for p, q, r that make the two sides different.
Inverse (¬p→¬q) is not equivalent to original. Contrapositive (¬q→¬p) is equivalent.

p=False, q=True: p→q=True, ¬p→¬q=False → Different!

Question 6

Find a counterexample to show this statement is FALSE: "p → q is logically equivalent to q → p" Provide truth values for p, q, r that make the two sides different.
Implication is not symmetric. Converse is not equivalent to original.

p=True, q=False: p→q=False, q→p=True → Different!

Question 7

Find a counterexample to show this statement is FALSE: "p → q is logically equivalent to q → p" Provide truth values for p, q, r that make the two sides different.
Implication is not symmetric. Converse is not equivalent to original.

p=True, q=False: p→q=False, q→p=True → Different!

Question 8

Find a counterexample to show this statement is FALSE: "p → q is equivalent to ¬p → ¬q" Provide truth values for p, q, r that make the two sides different.
Inverse (¬p→¬q) is not equivalent to original. Contrapositive (¬q→¬p) is equivalent.

p=False, q=True: p→q=True, ¬p→¬q=False → Different!

Question 9

Find a counterexample to show this statement is FALSE: "p ∨ q is logically equivalent to p ⊕ q" Provide truth values for p, q, r that make the two sides different.
Inclusive OR is true when both are true; exclusive OR is false when both are true.

p=True, q=True: p∨q=True, p⊕q=False → Different!

Question 10

Find a counterexample to show this statement is FALSE: "p → q is equivalent to ¬p → ¬q" Provide truth values for p, q, r that make the two sides different.
Inverse (¬p→¬q) is not equivalent to original. Contrapositive (¬q→¬p) is equivalent.

p=False, q=True: p→q=True, ¬p→¬q=False → Different!

Question 11

Find a counterexample to show this statement is FALSE: "p ∨ q is logically equivalent to p ⊕ q" Provide truth values for p, q, r that make the two sides different.
Inclusive OR is true when both are true; exclusive OR is false when both are true.

p=True, q=True: p∨q=True, p⊕q=False → Different!

Question 12

Find a counterexample to show this statement is FALSE: "p ∨ q is logically equivalent to p ⊕ q" Provide truth values for p, q, r that make the two sides different.
Inclusive OR is true when both are true; exclusive OR is false when both are true.

p=True, q=True: p∨q=True, p⊕q=False → Different!

Question 13

Find a counterexample to show this statement is FALSE: "p ∧ (q ∨ r) is equivalent to (p ∧ q) ∨ r" Provide truth values for p, q, r that make the two sides different.
∧ doesn't distribute over ∨ that way. Correct: p∧(q∨r) ≡ (p∧q) ∨ (p∧r)

p=False, q=True, r=False: Left=False, Right=True → Different!

Question 14

Find a counterexample to show this statement is FALSE: "p → q is logically equivalent to q → p" Provide truth values for p, q, r that make the two sides different.
Implication is not symmetric. Converse is not equivalent to original.

p=True, q=False: p→q=False, q→p=True → Different!

Question 15

Find a counterexample to show this statement is FALSE: "p ∧ (q ∨ r) is equivalent to (p ∧ q) ∨ r" Provide truth values for p, q, r that make the two sides different.
∧ doesn't distribute over ∨ that way. Correct: p∧(q∨r) ≡ (p∧q) ∨ (p∧r)

p=False, q=True, r=False: Left=False, Right=True → Different!

Question 16

Find a counterexample to show this statement is FALSE: "p ∧ (q ∨ r) is equivalent to (p ∧ q) ∨ r" Provide truth values for p, q, r that make the two sides different.
∧ doesn't distribute over ∨ that way. Correct: p∧(q∨r) ≡ (p∧q) ∨ (p∧r)

p=False, q=True, r=False: Left=False, Right=True → Different!

Question 17

Find a counterexample to show this statement is FALSE: "p → q is equivalent to ¬p → ¬q" Provide truth values for p, q, r that make the two sides different.
Inverse (¬p→¬q) is not equivalent to original. Contrapositive (¬q→¬p) is equivalent.

p=False, q=True: p→q=True, ¬p→¬q=False → Different!

Question 18

Find a counterexample to show this statement is FALSE: "p → q is equivalent to ¬p → ¬q" Provide truth values for p, q, r that make the two sides different.
Inverse (¬p→¬q) is not equivalent to original. Contrapositive (¬q→¬p) is equivalent.

p=False, q=True: p→q=True, ¬p→¬q=False → Different!

Question 19

Find a counterexample to show this statement is FALSE: "p ∧ (q ∨ r) is equivalent to (p ∧ q) ∨ r" Provide truth values for p, q, r that make the two sides different.
∧ doesn't distribute over ∨ that way. Correct: p∧(q∨r) ≡ (p∧q) ∨ (p∧r)

p=False, q=True, r=False: Left=False, Right=True → Different!

Question 20

Find a counterexample to show this statement is FALSE: "p → q is equivalent to ¬p → ¬q" Provide truth values for p, q, r that make the two sides different.
Inverse (¬p→¬q) is not equivalent to original. Contrapositive (¬q→¬p) is equivalent.

p=False, q=True: p→q=True, ¬p→¬q=False → Different!
Previous Worksheet