CAT Quant · Study & Practice

Mathematical Reasoning

AreaModern Maths DifficultyModerate CAT weightage1–3 questions (XAT/SNAP decision-making & critical reasoning; CAT LRDI logic sets)

Mathematical reasoning is the grammar of logic — the precise rules for joining, negating and chaining statements so that "if-then" arguments hold up. It looks like a school topic, but CAT, and especially XAT and SNAP, lean on it constantly: every "which of the following must be true" question, every assumption-and-conclusion set, and every critical-reasoning trap is really testing whether you can read a statement, negate it correctly, and tell a valid inference from a tempting but invalid one. The single most lucrative idea here is the contrapositive: "if p then q" is logically identical to "if not q then not p", while the converse and inverse are NOT guaranteed. Master that and you stop falling for the classic affirming-the-consequent trap. This chapter builds the toolkit from the ground up — simple and compound statements, the truth-table behaviour of AND, OR, NOT, implication and biconditional, the ideas of tautology and contradiction, and finally quantifiers (for all, there exists) and how to negate them. Each topic carries worked CAT-style examples, the fastest method, and the traps that quietly cost marks.

Topics

⚡ CAT shortcuts & speed methods

The fastest ways to crack this chapter under time pressure — the techniques that separate a 95+ percentiler from the rest.

  • To disprove a universal ("all/every") claim, hunt for ONE counterexample; to disprove an existential ("some/there exists") claim you must rule out every case.
  • Implication shortcut: p → q is false in exactly one situation — true premise, false conclusion. Everything else is true.
  • Replace any "if p then q" with its contrapositive "if not q then not p" — they are identical and the contrapositive is often easier to test.
  • De Morgan on the fly: negating an AND gives an OR of negations; negating an OR gives an AND of negations.
  • Convert implications to OR: (p → q) ≡ (¬p ∨ q) — handy when an option mixes "if-then" with "or".
  • Count truth-table rows instantly as 2ⁿ (n = number of distinct simple statements); you rarely need the whole table, just the one row that breaks the claim.

⚠️ Common mistakes & traps

CAT is designed so that careless errors here cost you marks. Internalise each trap before the exam.

  • Treating the converse (q → p) or inverse (¬p → ¬q) as equivalent to p → q — only the contrapositive is equivalent.
  • Over-negating a universal: the opposite of "all are X" is "at least one is not X", never "none is X".
  • Forgetting that p → q is vacuously TRUE whenever the premise p is false.
  • Reading exclusive "or" where logic uses inclusive ∨ (p ∨ q is true even when both hold).
  • Mishandling quantifier order — "every lock has a key" is not the same as "one key opens every lock".

📈 CAT exam insight & PYQ analysis

Mathematical reasoning surfaces less as pure Modern Maths in CAT and more as the logical backbone of XAT and SNAP decision-making, critical-reasoning and assumption questions, plus CAT LRDI logic puzzles. The recurring patterns are: identifying the valid inference (contrapositive vs the converse/inverse traps), negating compound or quantified statements correctly, and spotting affirming-the-consequent fallacies in "which must be true" sets. Difficulty is Moderate, but the marks are reliable for students fluent in implication and quantifier negation. Prioritise the contrapositive equivalence and quantifier negation — they unlock the largest share of these questions across all three exams.

🎴 Flashcards — instant recall

Tap a card to reveal the answer. Drill these until they are automatic.

When is p → q false?Tap to reveal
Only when p is true and q is false.
Which is equivalent to p → q: converse, inverse, or contrapositive?Tap to reveal
The contrapositive (¬q → ¬p).
Negation of "for all x, P(x)"?Tap to reveal
There exists an x with ¬P(x).
Negation of "there exists x, P(x)"?Tap to reveal
For all x, ¬P(x).
¬(p ∧ q) equals?Tap to reveal
¬p ∨ ¬q (De Morgan).
¬(p ∨ q) equals?Tap to reveal
¬p ∧ ¬q (De Morgan).
Rows in a truth table for n statements?Tap to reveal
2ⁿ.
When is p ∨ q false?Tap to reveal
Only when both p and q are false.
p → q rewritten with OR?Tap to reveal
¬p ∨ q.
A statement true in every row is a?Tap to reveal
Tautology.
Opposite of "all are red"?Tap to reveal
At least one is not red.
When is p ↔ q true?Tap to reveal
When p and q have the same truth value.

📌 Quick revision

A statement is definitely true or false; ¬p flips it. AND (∧) is true only when both hold; OR (∨) is false only when both fail; p → q is false only on a true premise with a false conclusion; p ↔ q is true when the two match. The contrapositive ¬q → ¬p is equivalent to p → q, but the converse and inverse are not — that is the main trap. Use De Morgan to negate compounds and ¬(∀ → ∃¬), ¬(∃ → ∀¬) to negate quantifiers. Truth tables have 2ⁿ rows; a tautology is true everywhere, a contradiction false everywhere. To break a universal claim, find one counterexample.

Chapter test

🏆 Vidaara CAT success checklist

You have truly mastered Mathematical Reasoning when you can tick every box below.

  • Recall every formula in this chapter without looking them up
  • Solve each topic’s practice set with at least 80% accuracy
  • Use the chapter shortcuts to cut your solving time in half
  • Spot and avoid every common trap listed above
  • Score 80%+ on the timed chapter test

📋 Chapter mastery scorecard

Track where you stand. Aim for the target before moving to the next chapter.

Skill checkpointTarget
Concept theory & formulas understood100%
Topic practice sets attempted (3 topics)3/3
Best topic-test score— → 80%+
Chapter test score— → 80%+
Flashcards drilled to instant recall12 cards