ReasoningAbility.com

Master Counterexample Generation - Intermediate-Advanced Level Problems Counterexample Generation INTERMEDIATE ADVANCED

Excel in competitive exams with this self assessment worksheet on Counterexample Generation. Worksheet 7 of 10 contains 20 intermediate-advanced-level problems. Target your accuracy improvement skills while practicing counterexample generation shortcut methods, counterexample generation bank exam questions, and counterexample generation ssc cgl.

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

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

Question 1

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

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 5

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

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 9

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

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

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 19

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