Q.Using the rules of negation, write the negation of the following, with justification: ∼q→p
Concept understanding — Negation of Conditional and Biconditional Statements
The conditional p → q is false only in the single case where p is true and q is false, so its negation captures exactly that one case: ~(p → q) ≡ p ∧ ~q — 'if p then q' fails precisely when p holds but q does not. Since the biconditional can be written as p ↔ q ≡ (p → q) ∧ (q → p), applying De Morgan's law and the conditional-negation rule gives ~(p ↔ q) ≡ (p ∧ ~q) ∨ (q ∧ ~p) — 'p iff q' fails when p holds without q, or q holds without p (i.e. the two statements disagree). Both results can be confirmed by a direct truth-table comparison and are used constantly when a question asks for the negation of a compound statement written with 'if...then' or 'if and only if'.
Negation of a→b is a∧~b; here a=~q, b=p.
~q ∧ ~p
The statement is ∼q→p, a conditional with antecedent ∼q and consequent p. By the negation-of-conditional rule, ∼(a→b)≡a∧∼b. Substituting a=∼q, b=p: ∼(∼q→p)≡∼q∧∼p.
~q ∧ ~p
Students often forget the antecedent here is already ~q, and mistakenly write the negation as q∧~p instead of correctly keeping ~q and negating p separately.
- MHT-CET 2026Set pcm-2026-04-13-E2 marksMCQQ.Which of the following statements is logically equivalent to ∼(𝑝↔𝑞) ? (A) ∼𝑝→𝑞 (B) ∼𝑝↔∼𝑞 (C) ∼(𝑞→∼𝑝) (D) 𝑝↔∼𝑞
›Reveal solutionSolution
∼(p↔q) is the XOR of p and q; p↔∼q is also true exactly when p and q differ, so they are equivalent.
∼(p↔q) is true whenever p and q have opposite truth values. Checking p↔∼q: when p=T,q=F, ∼q=T, so p↔∼q=T (matches ∼(p↔q)=T); when p=T,q=T, ∼q=F, p↔∼q=F (matches ∼(p↔q)=F); similarly for the remaining two rows. All four rows agree, so p↔∼q ≡ ∼(p↔q).
✓Final answer(D) 𝑝↔∼𝑞
ANSWER: (D)
- MHT-CET 2026Set pcm-2026-04-15-E2 marksMCQQ.Negation of the statement "If an integer is greater than 4 and less than 5, then it is a multiple of 3", is (A) An integer is not greater than 4 but less than 5 and it is a multiple of 3. (B) If an integer is not greater than 4 and less than 5 then it is not a multiple of 3. (C) An integer is greater than 4 and less than 5 but it is not a multiple of 3. (D) An integer is not greater than 4 and not less than 5 but it is not a multiple of 3.
›Reveal solutionSolution
The negation of "if p then q" is "p and not q"; here that gives "the integer is greater than 4 and less than 5, but it is not a multiple of 3."
- Let p: "an integer is greater than 4 and less than 5" (itself a conjunction, but treat it as the single hypothesis of the conditional), and q: "it is a multiple of 3" (the conclusion).
- The original statement has the form p → q ("if p then q").
- The logical negation of a conditional p → q is NOT another conditional — it is the conjunction p ∧ (~q), i.e., "p is true AND q is false." This is because p → q is false exactly when p holds but q fails, so its negation is precisely that scenario.
- Applying this: negation = "the integer is greater than 4 and less than 5 (p holds)" AND "it is NOT a multiple of 3 (q fails)."
- This matches option (C) exactly: "An integer is greater than 4 and less than 5 but it is not a multiple of 3."
- Option (B) is wrong because it negates p inside a new conditional, which is not how implication negation works. Options (A) and (D) incorrectly split or alter the conjunction "greater than 4 and less than 5" instead of keeping it intact as required.
✓Final answer(C) An integer is greater than 4 and less than 5 but it is not a multiple of 3.
ANSWER: (C)
- MHT-CET 2026Set pcm-2026-04-16-E2 marksMCQQ.The negation of the contrapositive of the statement (𝑝∨∼𝑞)→(𝑝∧∼𝑞) is (A) (𝑝∧∼𝑞)∨(∼𝑝∧∼𝑞) (B) (∼𝑝∧𝑞)∨(𝑝∧∼𝑞) (C) (∼𝑝∨∼𝑞)∧(𝑝∨𝑞) (D) (∼𝑝∨𝑞)∧(𝑝∨∼𝑞)
›Reveal solutionSolution
Build the contrapositive first, then apply the negation-of-implication rule.
For A→B with A=p∨∼q, B=p∧∼q, the contrapositive is ∼B→∼A. ∼B=∼(p∧∼q)=∼p∨q, and ∼A=∼(p∨∼q)=∼p∧q. So the contrapositive is (∼p∨q)→(∼p∧q). Its negation, using ∼(X→Y)=X∧∼Y, is (∼p∨q)∧∼(∼p∧q)=(∼p∨q)∧(p∨∼q).
✓Final answer(D) (∼p∨q)∧(p∨∼q)
ANSWER: (D)
- MHT-CET 2026Set pcm-2026-04-17-E2 marksMCQQ.The negation of (𝑝∧𝑞)→((𝑝∨𝑟)→∼𝑞) is equivalent to ... (A) 𝑝∧𝑞 (B) 𝑝∧∼𝑟 (C) 𝑞∧(𝑝∨𝑟) (D) ∼𝑝∧∼𝑞
›Reveal solutionSolution
Applying ~(X→Y)=X∧~Y twice and simplifying by absorption gives p∧q.
Let X=(p∧q) and Y=((p∨r)→~q). The negation of X→Y is X∧~Y. First, ~Y = ~((p∨r)→
q) = (p∨r)∧(~q) = (p∨r)∧q. So the overall negation is (p∧q)∧[(p∨r)∧q] = (p∧q)∧(p∨r) [since q∧q=q]. Now (p∧q)∧(p∨r) distributes to (p∧q∧p)∨(p∧q∧r) = (p∧q)∨(p∧q∧r), and since p∧q∧r already implies p∧q, this simplifies by absorption to just p∧q.✓Final answer(A) p∧q
ANSWER: (A)
- MHT-CET 2021Set pcm-2021-09-24-E2 marksMCQQ.If p : It is raining. q : Weather is pleasant then simplified form of the statement "It is not true, if it is raining then weather is not pleasant" is (A) It is not raining or weather is pleasant. (B) It is raining or weather is not pleasant. (C) It is raining or weather is not pleasant. (D) It is raining and the weather is pleasant.
›Reveal solutionSolution
∼(p→∼q)≡p∧q, which reads 'It is raining and the weather is pleasant.'
This is from the Mathematical Logic topic of the NCERT/CBSE-aligned Class 12 Mathematics syllabus.
Let p: 'It is raining' and q: 'The weather is pleasant'.
The inner statement 'if it is raining then the weather is not pleasant' is p→∼q.
The full statement is 'It is not true that (p→∼q)', i.e. ∼(p→∼q).
Using a→b≡∼a∨b:
p→∼q≡∼p∨∼q.
Taking the negation and applying De Morgan's law:
∼(∼p∨∼q)≡(∼(∼p))∧(∼(∼q))≡p∧q.
So the simplified statement is p∧q = 'It is raining and the weather is pleasant.'
✓Final answer(D) It is raining and the weather is pleasant.
🎓Unlock everything free for 14 days
- ✓Full step-by-step solutions
- ✓Concept-first explanations
- ✓Methods, shortcuts & mistakes
- ✓PYQ mapping + timed mock tests
Full access for 14 days. No credit card required.