ReasoningAbility.com

Counterexample Generation - Intermediate Level: tricky scenarios handling Counterexample Generation INTERMEDIATE

This expert challenge 📈 worksheet focuses on Counterexample Generation - a key topic in Logical Connectives. You'll solve 20 intermediate-level problems (Worksheet 5 of 10). The primary focus is on tricky scenarios handling. Master how to solve counterexample generation, counterexample generation tricks, and counterexample generation shortcut methods through systematic practice.

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

What you'll learn in this worksheet:
Your progress through Counterexample Generation
Worksheet 5 of 10 (44% 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 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 4

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 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 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 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 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 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 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 11

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 12

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 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 ∨ 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 15

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 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 ∨ 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 18

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 19

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 20

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!
Previous Worksheet Next Worksheet