PracticeVideosBlogFlashcardsEspañol

Free exam prep

Coal India Management Trainee (CIL MT)

Practice QuestionsStudy GuideCheat SheetFlashcards

3.2 Syllogisms, Logical Deduction & Venn Diagrams

Key Takeaways

  • In classical categorical syllogisms, a conclusion is valid only if it holds across every permissible Venn diagram configuration.
  • The 100-50 Analytical Method distributes Universal subjects/negatives (100) and leaves Particular affirmative terms undistributed (50), ensuring terms never gain distribution illegitimately.
  • Modern syllogism qualifiers like 'Only a few A are B' inherently enforce two simultaneous truths: 'Some A are B' AND 'Some A are not B'.
  • An 'Either-Or' condition requires: (1) both individual conclusions are doubtful, (2) both share identical subject/predicate elements, and (3) they form a complementary pair (Some + No, or All + Some-Not).
  • Venn diagram intersection calculations are resolved using inclusion-exclusion principles and strict compartmental boundaries.
Last updated: August 2026

Syllogisms, Logical Deduction & Venn Diagrams

Syllogistic reasoning and Venn diagrammatic deduction form one of the most critical, high-scoring segments of the CIL Management Trainee Paper-I. Syllogisms test pure formal deductive logic: evaluating whether conclusions necessarily follow from a set of given premises, irrespective of whether those statements align with real-world empirical facts.

1. Classical Categorical Propositions

Every standard categorical proposition connects two terms: a Subject ($S$) and a Predicate ($P$), modified by a Quantifier (All, No, Some, Some Not).

TypeProposition FormQualityQuantitySubject DistributionPredicate Distribution
AAll S are PAffirmativeUniversalDistributed ($100$)Undistributed ($50$)
ENo S are PNegativeUniversalDistributed ($100$)Distributed ($100$)
ISome S are PAffirmativeParticularUndistributed ($50$)Undistributed ($50$)
OSome S are not PNegativeParticularUndistributed ($50$)Distributed ($100$)

1.1 The Concept of Distribution

  • A term is Distributed ($100$) if the proposition makes a definitive assertion about every single member of that term's class.
  • A term is Undistributed ($50$) if the proposition refers only to an unspecified portion of that class.
\text{Rule of Distribution:} & \quad \text{Universal statements distribute their Subjects (All, No).}\\ & \quad \text{Negative statements distribute their Predicates (No, Some Not).} \end{aligned}$$ --- ## 2. Solving Methods: Analytical (100-50) vs. Venn Diagrams ### 2.1 The 100-50 Analytical Rules When combining two premises sharing a common **Middle Term ($M$)$**: 1. **Distribution of Middle Term:** The Middle Term must be distributed ($100$) in at least one premise. If $M$ is $50$ in both premises, no valid definite conclusion can be drawn between $S$ and $P$ (Fallacy of Undistributed Middle). 2. **Distribution in Conclusion:** No term can be distributed ($100$) in the conclusion if it was undistributed ($50$) in its parent premise. 3. **Sign & Polarity Rules:** * Positive ($+$) Premise $+$ Positive ($+$) Premise $\implies$ **Positive ($+$) Conclusion** * Positive ($+$) Premise $+$ Negative ($-$) Premise $\implies$ **Negative ($-$) Conclusion** * Negative ($-$) Premise $+$ Negative ($-$) Premise $\implies$ **No Definite Conclusion** * Particular Premise $+$ Particular Premise $\implies$ **No Definite Conclusion** ### 2.2 The Venn Diagram Paradigm (Basic vs. Alternate Diagrams) * **Definite Conclusion:** A definite assertion (e.g., "Some A are B") is considered true **if and only if** it is satisfied in **100% of all possible valid Venn diagrams**. * **Possibility Conclusion:** An assertion phrased as a possibility (e.g., "All A being B is a possibility") is considered true if it holds in **at least one valid Venn diagram** without violating any given premise. --- ## 3. Modern Syllogism Quantifiers & Bank/PSU Variants In recent competitive PSU exams including CIL MT, classical syllogisms have evolved to incorporate modern qualifiers. ### 3.1 "Only a few" (Definite Hybrid Assertion) * **Semantic Meaning:** `"Only a few A are B"` is a composite statement that simultaneously enforces two conditions: 1. **Definite Positive:** *Some A are B* (Intersection is non-empty). 2. **Definite Negative:** *Some A are not B* (A portion of A lies strictly outside B). * **Possibility Implications:** * *"All B being A is a possibility"* $\implies$ **VALID** (B can be entirely submerged inside A). * *"All A being B is a possibility"* $\implies$ **INVALID** (Violates the mandatory condition that some A are not B). ### 3.2 "Only A are B" (Universal Inverse Restriction) * `"Only A are B"` is logically converted to: **"All B are A"** with an absolute exclusivity constraint. * **Exclusivity Constraint:** No other entity $C$ can ever intersect or overlap with $B$. In formal terms: $B \cap C = \emptyset$ for all $C \neq A$. ### 3.3 Frequency-Based Synonyms * **Treated as standard "Some" ($I$-type):** *At least, Almost, Generally, Frequently, Mostly, $1\%$ to $99\%$, A few*. * **Treated as standard "All" ($A$-type):** *Each, Every, Any, $100\%$, Purely*. * **Treated as standard "No" ($E$-type):** *None, Never, $0\%$, Not a single*. --- ## 4. The "Either-Or" Complementary Pair Conditions When two individual conclusions fail independently in definite terms, they may form an **Either-Or** relation if they constitute a mutually exhaustive contradictory pair. ### The Three Golden Rules for Either-Or: 1. **Both conclusions must be independently False / Doubtful** under definite evaluation. 2. **Both conclusions must share identical Subject and Predicate elements**. 3. **The combination must form a valid Complementary Pair**: * **Pair 1:** $\text{Some } S \text{ is } P \quad + \quad \text{No } S \text{ is } P$ (Order of terms can be crossed or identical). * **Pair 2:** $\text{All } S \text{ is } P \quad + \quad \text{Some } S \text{ is not } P$ (Order of terms **must match strictly**; Subject and Predicate cannot cross). > **CRITICAL WARNING:** The combination $\mathbf{All + No}$ is a *Contrary* pair, **NEVER** a Complementary pair. Both can be simultaneously false in reality; therefore, $\text{All } + \text{No}$ can never form an *Either-Or* answer. --- ## 5. Multi-Set Venn Diagram Analytical Problems In analytical Venn puzzles, geometric shapes (rectangles, triangles, circles) represent distinct classifications of personnel, equipment, or properties. $$\begin{aligned} \text{For 2 Sets:} & \quad n(A \cup B) = n(A) + n(B) - n(A \cap B)\\ \text{For 3 Sets:} & \quad n(A \cup B \cup C) = n(A) + n(B) + n(C) - [n(A \cap B) + n(B \cap C) + n(A \cap C)] + n(A \cap B \cap C) \end{aligned}$$ | Region Descriptor | Mathematical Translation | Interpretation | |:---|:---|:---| | **Only A** | $n(A) - [n(A \cap B) + n(A \cap C) - n(A \cap B \cap C)]$ | Exclusively belongs to set A alone | | **Exactly Two Sets** | $[n(A \cap B) + n(B \cap C) + n(A \cap C)] - 3 \cdot n(A \cap B \cap C)$ | Elements shared by two categories, excluding triple overlap | | **At Least Two Sets** | $[n(A \cap B) + n(B \cap C) + n(A \cap C)] - 2 \cdot n(A \cap B \cap C)$ | Two-set overlaps plus the central triple overlap | --- ## 6. Worked Syllogism Example with Step-by-Step Proof **Given Premises:** 1. *All Draglines are Heavy Machinery.* 2. *Only a few Heavy Machinery are Electric Equipment.* 3. *No Electric Equipment is Manual Tool.* **Conclusions to Evaluate:** * **Conclusion I:** *Some Draglines are Electric Equipment.* * **Conclusion II:** *All Heavy Machinery being Electric Equipment is a possibility.* * **Conclusion III:** *Some Heavy Machinery are not Manual Tools.* **Step-by-Step Evaluation:** * **Evaluation of I:** Draglines are a subset of Heavy Machinery. The premise states *Only a few Heavy Machinery are Electric Equipment*. There is no mandatory overlap between Draglines and Electric Equipment in the minimum Venn diagram. $\implies$ **Does Not Follow** (Doubtful). * **Evaluation of II:** The premise *Only a few Heavy Machinery are Electric Equipment* strictly dictates that *Some Heavy Machinery are NOT Electric Equipment*. Therefore, it is impossible for *All* Heavy Machinery to become Electric Equipment. $\implies$ **Does Not Follow** (False Possibility). * **Evaluation of III:** The portion of Heavy Machinery that is Electric Equipment cannot be Manual Tools (since *No Electric Equipment is Manual Tool*). Since *Some Heavy Machinery are Electric Equipment*, that specific subset can never be Manual Tools. $\implies$ **Follows Definitely** (True). **Final Result:** Only Conclusion III follows.
Loading diagram...
Comprehensive Syllogism Evaluation Protocol
Test Your Knowledge

Statements:

  1. Only a few Excavators are Dumpers.
  2. All Dumpers are Trucks.
  3. No Truck is a Locomotive.
Conclusions: I. Some Excavators are definitely not Locomotives. II. All Dumpers being Excavators is a possibility. Which of the conclusion(s) logically follow?

A
B
C
D
Test Your Knowledge

Which of the following paired statements satisfies the strict criteria to form a valid 'Either-Or' complementary conclusion?

A
B
C
D
Test Your Knowledge

In a CIL regional mining headquarters of 300 technical executives: 160 are certified in Open-cast Mining, 130 are certified in Underground Mining, and 110 are certified in Mine Safety. 60 executives have Open-cast and Underground certifications, 50 have Underground and Safety, and 45 have Open-cast and Safety. 25 executives possess all three certifications. How many executives possess EXACTLY ONE certification?

A
B
C
D
Up Next

3.3 Seating Arrangements, Linear/Circular Alignments & Puzzles

Continue learning