Logical Reasoning Cheat Sheet - Propositional Logic and Syllogisms for IIM CAT 2026

Mastering Logical Reasoning (LR) for the IIM CAT 2026 exam demands a crystal-clear understanding of formal logic, equivalence rules, and standard quantifiers. This LibreTexts-style study guide breaks down fundamental propositional logic rules, categorical syllogisms, and shortcuts needed to tackle CAT Data Interpretation & Logical Reasoning (DILR) problem sets efficiently.

1. CAT Pattern & Chapter Weightage Analysis

In recent IIM CAT exam cycles, the Data Interpretation and Logical Reasoning (DILR) section has shifted toward high-level analytical reasoning, binary logic, set theory, and condition-based arrangements. Understanding mathematical and propositional logic forms the bedrock of solving complex selection grids, truth-teller/liar problems, and conditional puzzles.

• NTA / IIM Pattern Insights: Formal logic structures frequently appear embedded inside complex 4-question or 5-question DILR sets.
• PYQ Analysis: CAT PYQs consistently test conditional implications (\(P \to Q\)), De Morgan's application in binary matrix puzzles, and standard categorical quantifiers.
• Chapter Weightage: Propositional logic and categorical reasoning account for direct or indirect foundational concepts in roughly 15-20% of DILR sets.

2. Propositional Logic Rules & Operations

Logical operations evaluate the truth value of compound statements based on primitive propositions \(P\) and \(Q\). Below is the comprehensive truth condition table for core logical operators:

Operation	Symbol	Condition for True
Conjunction	\(P \land Q\)	Both \(P\) and \(Q\) are True
Disjunction	\(P \lor Q\)	At least one of \(P\) or \(Q\) is True
Implication	\(P \to Q\)	False ONLY if \(P = T\) and \(Q = F\)
Biconditional	\(P \iff Q\)	Both \(P\) and \(Q\) have the exact same truth value
Exclusive OR (XOR)	\(P \oplus Q\)	Exactly one of \(P\) or \(Q\) is True

3. Conditional Statements & Equivalences

Given an original conditional statement \(P \to Q\), candidate transformations yield distinct logical meanings. Recognizing the contrapositive equivalence is essential for CAT logical deductions.

• Converse: \(Q \to P\) (Not logically equivalent to the original statement)
• Inverse: \( eg P \to eg Q\) (Not logically equivalent to the original statement)
• Contrapositive: \( eg Q \to eg P\) (Logically Equivalent to original statement \(P \to Q\))

4. Fundamental Laws of Logic

To simplify complex logical expressions in CAT puzzles, apply these fundamental algebraic equivalences:

De Morgan's Laws

\[ eg(P \land Q) \equiv eg P \lor eg Q\]

\[ eg(P \lor Q) \equiv eg P \land eg Q\]

Material Implication

An implication can be expressed as a disjunction:

\[P \to Q \equiv eg P \lor Q\]

Double Negation

\[ eg( eg P) \equiv P\]

5. Categorical Syllogisms & Quantifier Types

Categorical propositions express relations between classes/sets using standard quantifiers in classical logic:

Code	Statement	Type	Venn / Set Representation
A	All S are P	Universal Affirmative	\(S \subseteq P\)
E	No S is P	Universal Negative	\(S \cap P = \emptyset\)

6. Frequently Asked Questions (People Also Ask)