Question 1

Syllogism with negatives: 'All poles are guns' and 'Some boats are not poles' — determine which conclusions necessarily follow (All guns are boats; Some boats are not guns)

Accepted Answer

Given dataPremise 1: Poles ⊆ Guns.Premise 2: Some Boats ⊄ Poles (i.e., ∃ Boats that are not Poles).Conclusions:I: All Guns ⊆ Boats.II: Some Boats ⊄ Guns.Concept/Approach (why this method)From 'Poles ⊆ Guns' we cannot reverse to 'Guns ⊆ Poles' or to 'Guns ⊆ Boats'. Also, 'Some boats are not poles' tells nothing about whether those boats are guns.Step-by-Step calculation / logic1) Conclusion I requires every gun to be a boat; no premise supports this ⇒ not necessary.2) For Conclusion II, the boats that are not poles could still be guns (if some guns are not poles) or might not be guns; both models satisfy premises ⇒ not necessary.Verification/AlternativeConstruct Model A where every gun is also a boat (I true) and Model B where many guns are not boats (I false); both fit premises. Hence I does not necessarily follow. Similar variability shows II does not necessarily follow.Common pitfallsIllicit conversion of subset relations.Assuming 'not pole' implies 'not gun' (it does not).Final AnswerNeither I nor II follows.

Question 2

Set–subset reasoning with quantifiers: 'Many scooters are trucks' and 'All trucks are trains' — identify which conclusion is logically valid (Some scooters are trains; No truck is a scooter)

Accepted Answer

Given dataPremise 1: Many (hence, at least some) Scooters are Trucks.Premise 2: All Trucks ⟶ Trains.Conclusions:I: Some Scooters are Trains.II: No Truck is a Scooter.Concept/Approach (why this method)Translate 'many' to 'at least some' and use transitivity: If some A are B and all B are C, then those 'some A' are also C.Step-by-Step calculation / logic1) From Premise 1, pick a scooter that is a truck.2) From Premise 2, that truck is a train.3) Therefore, at least one scooter is a train ⇒ Conclusion I is necessary.4) Conclusion II contradicts Premise 1 (which states some overlap) ⇒ false.Verification/AlternativeVenn chaining: Scooters ↔ (some) Trucks ↔ Trains ensures non-empty intersection of Scooters and Trains.Common pitfallsReading 'many' as 'most' or 'all' (not required; only 'some' is needed).Final AnswerOnly conclusion I follows.

Question 3

Syllogism with an individual instance: 'Some papers are pens' and 'Angle is a paper' — determine whether it necessarily follows that Angle is (or is not) a pen

Accepted Answer

Given dataPremise 1: Some Papers are Pens (non-empty overlap).Premise 2: Angle is a Paper.Conclusions:I: Angle is not a Pen.II: Angle is a Pen.Concept/Approach (why this method)Knowing only that 'some papers are pens' does not tell us whether a particular paper (Angle) lies inside the overlapping region or outside it.Step-by-Step calculation / logic1) Model A: Angle lies in the intersection (Paper ∩ Pen) ⇒ II true, I false.2) Model B: Angle lies in the Paper-only region ⇒ I true, II false.3) Since truth varies by model consistent with premises, neither conclusion is necessary.Verification/AlternativeVenn diagram quickly shows both placements for Angle are possible without violating premises.Common pitfallsMarking 'Either I or II' on the basis of the law of excluded middle; syllogism validity demands necessity from premises, not mere tautology.Final AnswerNeither I nor II follows.

Question 4

Category logic with subset and particular statement: from 'All birds are tall' and 'Some tall are hens', decide which conclusions are compelled (Some birds are hens; Some hens are tall)

Accepted Answer

Given dataPremise 1: Birds ⊆ Tall.Premise 2: Some Tall are Hens (∃ Tall ∩ Hens).Conclusions:I: Some Birds are Hens.II: Some Hens are Tall.Concept/Approach (why this method)Only overlap explicitly stated is Tall ∩ Hens. Birds are inside Tall, but we do not know whether they overlap the particular Tall elements that are Hens.Step-by-Step calculation / logic1) From Premise 2, there exists at least one Hen that is Tall ⇒ II is necessarily true.2) Premises do not force any intersection between Birds and Hens ⇒ I is not necessary.Verification/AlternativeConstruct Tall containing disjoint subsets: Birds and Hens non-overlapping; both premises hold and I fails, proving I is not necessary while II remains true.Common pitfallsAssuming all subsets of Tall intersect.Final AnswerOnly conclusion II follows.

Question 5

Logical reasoning – syllogism with two premises: ‘‘Some papers are pens’’ and ‘‘Some pencils are pens’’ – determine which conclusions logically follow about overlaps among pens, pencils, and papers.

Accepted Answer

Premises: Some papers are pens. Some pencils are pens. Conclusions to test: (I) Some pens are pencils. (II) Some pens are papers.Concept/ApproachTranslate each statement into set language and use basic syllogistic/venn reasoning. ‘‘Some X are Y’’ guarantees a non-empty overlap between X and Y. The converse phrasing ‘‘Some Y are X’’ is also true for particular statements.Step-by-step evaluation• From ‘‘Some pencils are pens’’ ⇒ There exists at least one object that is both a pencil and a pen ⇒ ‘‘Some pens are pencils’’ (Conclusion I) is true.• From ‘‘Some papers are pens’’ ⇒ There exists at least one object that is both a paper and a pen ⇒ ‘‘Some pens are papers’’ (Conclusion II) is true.Verification/AlternativeDraw three overlapping circles (Pens, Pencils, Papers). Shade one element in Pens∩Pencils and one element in Pens∩Papers. Both conclusions are immediately visible.Common pitfalls• Assuming ‘‘Some X are Y’’ implies ‘‘All X are Y.’’ It does not; we only need at least one common element.Final AnswerBoth I and II follow.

Question 6

Syllogism with quantifiers – from ‘‘Some men are educated’’ and ‘‘Educated persons prefer small families’’ decide which conclusions follow about men who prefer small families.

Accepted Answer

Premises: (1) Some men are educated. (2) All educated persons prefer small families. Conclusions: (I) All small families are educated. (II) Some men prefer small families.Concept/ApproachChain the premises: Some Men ⟶ Educated and Educated ⟶ Prefer Small Families. Particular + universal yields a particular about men who prefer small families.Test Conclusion I‘‘All small families are educated’’ reverses the given direction. From Educated ⟶ Prefer Small Families, we cannot infer Prefer Small Families ⟶ Educated. Hence I does not follow.Test Conclusion IIFrom (1) some men ∈ Educated, and (2) all Educated ⟶ Prefer Small Families ⇒ those ‘‘some men’’ also prefer small families. Therefore II follows.Common pitfallsConfusing necessary with sufficient conditions. The given universal says being educated is sufficient (not necessary) for preferring small families.Final AnswerOnly conclusion II follows.

Question 7

Deductive reasoning from a universal statement – ‘‘All educated people read newspapers’’ and an individual case ‘‘Rahul does not read newspaper’’ – determine which conclusions follow.

Accepted Answer

Premises: All educated people read newspapers (Educated ⟶ Reads). Rahul does not read a newspaper (¬Reads(Rahul)). Conclusions: (I) Rahul is not educated. (II) Reading newspaper is not essential to be educated.Concept/ApproachUse contrapositive-style reasoning: If all A are B, any non-B cannot be A. Then assess whether the second conclusion contradicts the given universal.Evaluate Conclusion IFrom Educated ⟶ Reads and ¬Reads(Rahul) ⇒ ¬Educated(Rahul). Thus I follows.Evaluate Conclusion IIThe premise states reading is necessary for being educated. Saying it is ‘‘not essential’’ contradicts the premise; II does not follow.Common pitfallsTreating ‘‘All A are B’’ as if it allowed exceptions. It does not; one counterexample forces ‘‘not A.’’Final AnswerOnly conclusion I follows.

Question 8

Syllogism with two universals sharing a common superset – ‘‘All pens are chalks’’ and ‘‘All chairs are chalks’’ – decide which conclusions about overlaps follow.

Accepted Answer

Premises: (1) All pens are chalks (Pens ⊆ Chalks). (2) All chairs are chalks (Chairs ⊆ Chalks). Conclusions: (I) Some pens are chairs. (II) Some chalks are pens.Concept/ApproachUniversal inclusion into the same superset does not force two subsets to overlap. But a valid immediate inference from ‘‘All S are P’’ is the particular ‘‘Some P are S’’ (assuming S exists).Test Conclusion IEven though both Pens and Chairs are inside Chalks, they could be disjoint subsets. Hence ‘‘Some pens are chairs’’ is not compelled. I does not follow.Test Conclusion IIFrom ‘‘All pens are chalks’’, we infer ‘‘Some chalks are pens’’ (at least one pen exists and is a chalk). Therefore II follows.Common pitfallsAssuming overlap between two different subclasses of the same class without evidence.Final AnswerOnly conclusion II follows.

Question 9

Statement–conclusion test with a one–way condition: ‘‘Bureaucrats marry only intelligent girls’’ and a specific person (Tanya) who is intelligent – determine which conclusion is justified.

Accepted Answer

Premise: Bureaucrats marry only intelligent girls (Bureaucrat-spouses ⊆ Intelligent Girls). Fact: Tanya is very intelligent. Conclusions: (I) Tanya will marry a bureaucrat. (II) Tanya will not marry a bureaucrat.Concept/Approach‘‘Only’’-type statements are one-directional constraints. They restrict who bureaucrats may marry; they do not force every intelligent girl to marry a bureaucrat.Evaluation• Tanya being intelligent satisfies a necessary condition to be eligible as a bureaucrat’s spouse, but it does not make it necessary that she marries a bureaucrat. ⇒ I does not follow.• There is no information forbidding Tanya from marrying a bureaucrat. ⇒ II does not follow.Common pitfallsConfusing ‘‘only A are B’’ with ‘‘all B are A’’; the reverse implication is not warranted.Final AnswerNeither I nor II follows.

Question 10

Syllogism set-membership: from ‘‘Some engineers are fools’’ and ‘‘Anand is an engineer’’ decide which conclusions about class overlap and the individual follow.

Accepted Answer

Premises: (1) Some engineers are fools. (2) Anand is an engineer. Conclusions: (I) Some fools are engineers. (II) Anand is a fool.Concept/Approach‘‘Some engineers are fools’’ (E∩F ≠ ∅) is symmetric as a particular proposition; we can restate it as ‘‘Some fools are engineers’’ without loss.Test Conclusion IDirect conversion of a particular proposition is valid ⇒ I follows.Test Conclusion IIKnowing only that some engineers are fools does not allow us to classify every engineer. Anand may or may not be in the overlap. ⇒ II does not follow.Common pitfallsTreating ‘‘some’’ as ‘‘all.’’ Particular statements never license universal individual claims without extra data.Final AnswerOnly conclusion I follows.

Question 11

Two-premise categorical logic: ‘‘All windows are doors’’ and ‘‘No door is wall’’ – determine whether the derived negatives about windows and walls follow.

Accepted Answer

Premises: (1) All windows are doors (W ⊆ D). (2) No door is a wall (D ∩ Wall = ∅). Conclusions: (I) No window is wall. (II) No wall is door.Concept/ApproachUse subset chaining and properties of ‘‘No’’ (E-type) propositions, which are convertible: ‘‘No A are B’’ ⇒ ‘‘No B are A.’’Deriving Conclusion ISince W ⊆ D and D shares no elements with Wall, W shares none with Wall. Hence ‘‘No window is wall’’ follows.Deriving Conclusion IIFrom ‘‘No door is wall’’ (No D are Wall), by conversion of an E-proposition, ‘‘No wall is door’’ holds. Hence II follows.Common pitfallsForgetting that E-statements are symmetric; both directions are valid.Final AnswerBoth I and II follow.

Question 12

Reasoning with ‘‘most’’ and ‘‘some’’ quantifiers: given ‘‘Most teachers are boys’’ and ‘‘Some boys are students,’’ identify which conclusions are logically certain.

Accepted Answer

Premises: (1) Most teachers are boys. (2) Some boys are students. Conclusions: (I) Some students are boys. (II) Some teachers are students.Concept/Approach‘‘Some boys are students’’ is already a particular statement about overlap; (I) restates it directly. But there is no guaranteed overlap between Teachers and Students given only these two statements.Evaluate Conclusion IPremise (2) explicitly asserts an element in Boys∩Students. Therefore I follows.Evaluate Conclusion IIFrom ‘‘Most teachers are boys’’ we know Teachers ⊆ Boys to a large extent, but not that any of those teacher-boys are among the ‘‘some’’ boys who are students. Hence II does not necessarily follow.Common pitfallsAssuming transitivity for ‘‘most’’ and ‘‘some.’’ Without explicit intersection, Teacher∩Student might be empty.Final AnswerOnly conclusion I follows.

Question 13

Simple categorical deduction: from ‘‘No man is a donkey’’ and ‘‘Rahul is a man’’ determine which conclusions regarding Rahul and men in general logically follow.

Accepted Answer

Premises: (1) No man is a donkey. (2) Rahul is a man. Conclusions: (I) Rahul is not a donkey. (II) All men are not Rahul.Concept/ApproachUse class membership with an E-proposition: if a class ‘‘Men’’ has empty intersection with ‘‘Donkeys’’ and Rahul ∈ Men, then Rahul ∉ Donkeys.Evaluate Conclusion IImmediate application: since Men ∩ Donkeys = ∅ and Rahul ∈ Men ⇒ Rahul ∉ Donkeys. I follows.Evaluate Conclusion II‘‘All men are not Rahul’’ is a vague general statement not derived from the premises; it does not logically follow from (1)–(2). Hence II does not follow.Common pitfallsAccepting statements not grounded in the premises just because they seem generally true.Final AnswerOnly conclusion I follows.

Question 14

Syllogism with a particular and a universal negative: ‘‘Some books are pens’’ and ‘‘No pen is pencil’’ – decide which universal/particular conclusions about books and pencils follow.

Accepted Answer

Premises: (1) Some books are pens (Books∩Pens ≠ ∅). (2) No pen is pencil (Pens∩Pencils = ∅). Conclusions: (I) Some books are pencils. (II) No book is pencil.Concept/ApproachTrack only what is forced by the premises. (1) places some books inside the Pens set; (2) excludes all pens from Pencils. This only tells us that those ‘‘some books’’ that are pens are not pencils. It says nothing about all books.Test Conclusion I‘‘Some books are pencils’’ contradicts the possibility that the ‘‘books that are pens’’ cannot be pencils and the remaining books might also not be pencils. I does not follow.Test Conclusion II‘‘No book is pencil’’ is too strong. Books outside the Pens set could still be pencils; premises do not rule that out. II does not follow.Common pitfallsOvergeneralizing from a particular subset (‘‘some books’’) to the entire class of books.Final AnswerNeither I nor II follows.

Question 15

Syllogism reasoning with two premises: ‘‘All men are married’’ and ‘‘Some men are educated’’ — determine which logical conclusions about the overlap between married persons and educated persons necessarily follow.

Accepted Answer

Evaluate the two conclusions based on classical syllogism rules.Premise 1: All men are married. This means Men ⊆ Married.Premise 2: Some men are educated. This means Men ∩ Educated is non empty.Conclusions to test: I. Some married are educated. II. Some educated are married.Concept/ApproachUse set inclusion and particular existence. If a non empty subset of Men is also Educated and all Men are inside Married, that same subset lies inside Married as well.Step by Step derivation1) From Men ⊆ Married and Men ∩ Educated ≠ ∅, map the existing elements in Men ∩ Educated into Married. Therefore Married ∩ Educated ≠ ∅.2) Conclusion I follows: Some married are educated.3) Symmetrically, the same non empty set shows Educated ∩ Married ≠ ∅, which reads as: Some educated are married. Hence Conclusion II follows.Verification/AlternativePick an example world with Men = {m1, m2}, Married = {m1, m2, x}, Educated = {m1, y}. Clearly m1 witnesses both conclusions.Common pitfallsConfusing particular with universal. We only assert existence of overlap, not that all married are educated or vice versa.Final AnswerBoth I and II follow.

Question 16

Set inclusion puzzle: ‘‘All tubes are handles’’ and ‘‘All cups are handles’’ — decide whether it logically follows that all cups are tubes and whether some handles are not cups.

Accepted Answer

We have two universal inclusions into the same superset and must judge two claims.Premise 1: All tubes are handles, so Tubes ⊆ Handles.Premise 2: All cups are handles, so Cups ⊆ Handles.Conclusions: I. All cups are tubes. II. Some handles are not cups.Concept/ApproachTwo distinct subclasses of the same parent class need not overlap, and nothing here provides existence of handles outside cups.Testing conclusion IFrom Cups ⊆ Handles and Tubes ⊆ Handles we cannot infer Cups ⊆ Tubes. The two subclasses could be disjoint inside Handles. Thus I does not follow.Testing conclusion IITo claim Some handles are not cups, we need at least one handle that is not a cup. The premises allow Handles to equal Cups as a special case, so the existence claim is not forced. Thus II does not follow.Verification/AlternativeModel: Handles = {a, b}, Cups = {a, b}, Tubes = ∅. Both premises hold, yet I is false and II is false.Common pitfallsAssuming subclasses of the same superclass must intersect, or assuming existence without explicit support.Final AnswerNeither I nor II follows.

Question 17

Categorical logic with a universal negative and a universal affirmative: from ‘‘No magazine is cap’’ and ‘‘All caps are cameras’’ decide whether any statement about cameras and magazines is compelled.

Accepted Answer

Translate and inspect the relations.Premise 1: No magazine is a cap, so Magazines ∩ Caps = ∅.Premise 2: All caps are cameras, so Caps ⊆ Cameras.Conclusions: I. No camera is magazine. II. Some cameras are magazines.Concept/ApproachOnly the cap portion of Cameras is known to be disjoint from Magazines. Cameras outside Caps could still overlap with Magazines; or they might not.Testing conclusion II claims Cameras ∩ Magazines = ∅ which is stronger than the premises. Not forced, so I does not follow.Testing conclusion IIII claims Cameras ∩ Magazines ≠ ∅ which is also not forced. Therefore II does not follow.Verification/AlternativeTwo models show independence: (a) Cameras = Caps, Magazines disjoint from all Cameras makes I true, II false. (b) Cameras include a non cap region that overlaps Magazines makes II true, I false. Since both are possible, neither conclusion is necessary.Common pitfallsOverextending properties of a subset to the entire superset.Final AnswerNeither I nor II follows.

Question 18

Two step inclusion chain: ‘‘All huts are mansions’’ and ‘‘All mansions are temples’’ — determine which particular conclusions about temples containing huts and mansions necessarily hold.

Accepted Answer

Classic chain of inclusion yields immediate particular consequences when classes are non empty.Premise 1: Huts ⊆ Mansions.Premise 2: Mansions ⊆ Temples.Hence Huts ⊆ Temples and Mansions ⊆ Temples.Concept/ApproachFrom All S are P we may infer Some P are S provided S is non empty. Syllogism problems typically assume non empty terms unless stated otherwise.Deriving conclusionsI. Some temples are huts: since Huts ⊆ Temples and huts exist, pick any hut; it is a temple.II. Some temples are mansions: similarly, pick any mansion; it is a temple.Verification/AlternativeExample: Huts = {h1}, Mansions = {h1, m2}, Temples = {h1, m2, t3}. Both conclusions are witnessed by h1 and m2 respectively.Common pitfallsForgetting the existence assumption behind particular conclusions that are derived from universal inclusions.Final AnswerBoth I and II follow.

Question 19

Intersecting particulars problem: given ‘‘Some books are tables’’ and ‘‘Some tables are mirrors’’ decide whether mirrors overlap books or whether books and mirrors are disjoint.

Accepted Answer

Both premises are particular and speak only about overlaps with Tables.Premise 1: Books ∩ Tables ≠ ∅.Premise 2: Tables ∩ Mirrors ≠ ∅.Conclusions: I. Some mirrors are books. II. No book is mirror.Concept/ApproachTwo separate overlaps with the same middle set do not force a direct overlap, nor do they preclude it. Both a positive and a negative relation between Books and Mirrors remain possible.Testing conclusion IThere need not be a common element across all three sets. The book table items and the table mirror items could be different elements. Hence I is not necessary.Testing conclusion IIThe premises do not rule out Books ∩ Mirrors. Therefore claiming disjointness is not justified; II does not follow.Verification/AlternativeModel A: Tables = {x, y}, Books = {x}, Mirrors = {y} gives neither overlap nor disjoint proof of I or II. Model B: Tables = {x}, Books = {x}, Mirrors = {x} makes I true and II false. Since both patterns are possible, neither conclusion is forced.Common pitfallsAssuming transitivity for particular statements with the same middle term.Final AnswerNeither I nor II follows.

Question 20

Contrived universe test: with ‘‘All trucks fly’’ and ‘‘Some scooters fly’’ evaluate whether it follows that all trucks are scooters or that some scooters do not fly.

Accepted Answer

Examine the logical independence of the classes Trucks, Scooters, and the property Fly.Premise 1: All trucks fly, so Trucks ⊆ Fly.Premise 2: Some scooters fly, so Scooters ∩ Fly ≠ ∅.Conclusions: I. All trucks are scooters. II. Some scooters do not fly.Concept/ApproachSubset to the property Fly does not create a subset relation between Trucks and Scooters, and existence of flying scooters does not imply existence of non flying scooters.Testing conclusion INothing links Trucks to Scooters. Trucks could be entirely separate from Scooters yet still fly. Hence I does not follow.Testing conclusion IIWe only know some scooters do fly. The set of scooters could all be flyers, so the existence of non flying scooters is not guaranteed. Hence II does not follow.Verification/AlternativeModel: Trucks = {t1}, Scooters = {s1}, Fly = {t1, s1}. Both premises hold; I is false and II is false.Common pitfallsReading extra relations between subject classes that are not supplied by the premises.Final AnswerNeither I nor II follows.

Logical Deduction Questions

Questions

Practice smarter