chapter
    Deductive Reasoning, Statements and Syllogisms Notes for GATE CS

    Deductive Reasoning, Statements and Syllogisms notes for GATE CS: 28 study cards covering concepts, formulas, shortcuts and exam traps, plus solved practice q

    deductive reasoning statements and syllogisms notes

    Chapter Roadmap: Logic & Deductive Reasoning

    Chapter Journey: Analytical Aptitude

    1
    Passage-Based Deductive Inference (Current)
    Extracting necessary truths from paragraphs. Handling quantifiers in natural language.
    2
    Categorical Statements & Syllogisms
    Formal logic with Venn diagrams. Rules for All, Some, No. Validating conclusions.
    3
    Conditional Logic & Contraposition
    If P then Q. Necessary vs sufficient conditions. The contrapositive.
    Why this matters: Competitive exams test your ability to separate what is said from what is implied. This chapter provides the rigorous framework to do exactly that.

    The Golden Rule: Necessary vs. Possible

    Core Principle of Deductive Inference

    1 The Passage is Absolute Truth
    Assume every statement is factually correct, regardless of prior knowledge.
    2 Necessary vs. Possible
    Valid: Must be true in every scenario consistent with the passage.
    Invalid: Might be true, might be false. If there is any doubt, it is not a valid deduction.
    3 No Outside Information
    Do not bring in external facts, assumptions, or common sense unless explicitly supported.
    "It is likely that..." is not a deductive inference.
    "It must be that..." is.

    Quantifiers in Natural Language

    Decoding Quantifiers

    Precise interpretation of quantity words is critical for valid inference.

    Word/PhraseLogical MeaningNote
    All / Every of the setUniversal affirmative
    Some / At least one elementCould be , could be
    Most / Majority of the setStrictly more than half
    None / No of the setUniversal negative
    Many / FewVague / IndeterminateRarely supports definite conclusions
    Critical Trap
    If the passage says "Some A are B", you cannot infer "Some A are not B". It is possible that All A are B. "Some" does not exclude "All".

    25 more cards in this chapter

    Try a question

    Answer it here to see how it works. Nothing is recorded until you sign in.

    Question 1
    Level 1: Warm-up

    Consider the passage: "All students who study daily pass the exam. Rohan passed the exam."

    How many of the following statements MUST be true based ONLY on the passage?

    1. Rohan studied daily.
    2. Some students who do not study daily might pass the exam.
    3. If a student did not pass the exam, they did not study daily.
    Question 2
    Level 1: Warm-up

    Arjun told Priya, "Even if it rains tomorrow, I will still go for my morning run."

    Based ONLY on this statement, which one of the following MUST be true?

    Question 3
    Level 1: Warm-up

    Assertion (A): In a company, 60% of employees are in the engineering department. Of these engineers, 40% are senior and 60% are junior. Therefore, 40% of all employees are senior engineers.

    Reason (R): 40% of the engineers are senior.

    Which of the following is correct?

    Question 4
    Level 1: Warm-up

    Consider the passage: "All employees who work in IT have a laptop. John works in IT. All laptops are expensive."

    How many of the following statements are NECESSARILY TRUE based ONLY on the passage?

    1. John has a laptop.
    2. John has an expensive laptop.
    3. Everyone who has a laptop works in IT.
    Question 5
    Level 1: Warm-up

    A software company's policy states: "Even if the server crashes during the deployment, the rollback procedure will not be initiated automatically."

    Based ONLY on this statement, which one of the following MUST be true?

    Question 6
    Level 1: Warm-up

    Assertion (A): In a survey, 90% of people drink tea, and 80% drink coffee. Therefore, exactly 70% of people drink both tea and coffee.

    Reason (R): The minimum overlap is 70%, but the actual overlap could be higher (up to 80%).

    Which of the following is correct?

    Question 7
    Level 1: Warm-up

    In a deductive-inference check, an option is rejected when a scenario can be found in which the passage remains true but the option is false. Let P: treat the passage as true, Q: imagine a scenario, R: check that the option is false while the passage remains true, S: reject the option. Which sequence gives the correct order of the check?

    Question 8
    Level 1: Warm-up

    A passage states: "Every employee in the marketing department has a company car. No employee in the marketing department works on weekends."

    Consider the following statements about a specific employee, X:

    1. X works on weekends.
    2. X does not have a company car.
    3. X is not in the marketing department.
    4. X has a company car and does not work on weekends.
    5. X is in the marketing department and works on weekends.

    If X is known to be in the marketing department, what is the MINIMUM number of the above statements that MUST be false?

    Question 9
    Level 1: Warm-up

    Passage: "All engineers are logical. No logical people are emotional."

    Consider statements about Person P, who is known to be an engineer:

    1. P is emotional.
    2. P is not logical.
    3. P is an engineer and logical.
    4. P is logical and not emotional.

    What is the MINIMUM number of the above statements that MUST be false?

    Question 10
    Level 1: Warm-up

    Consider the passage: "All roses are flowers. All flowers are plants. Some plants are green."

    Based ONLY on this passage, how many of the following statements MUST be true?

    (I) All roses are plants.

    (II) Some roses are green.

    (III) All roses are flowers.

    (IV) All plants are roses.

    Free preview ends here

    Login to view the complete notes

    Creating an account is free. You get the rest of this chapter, step-by-step solutions, and a study plan built around the topics you are actually weak at.

    Login to continueSee plans
    Why MastersUp

    Personalised first. High quality throughout.

    Most platforms hand everyone the same content. Here the content moves with your performance, topic by topic.

    Built around you, not around a syllabus PDF

    Every answer you give moves your topic-level intelligence rate. The next question, the next revision card and tomorrow's plan all change with it.

    Revision that hits your weak spots

    We only revise topics you have actually attempted and are still below the safe bar on — never the same chapter on repeat.

    Questions calibrated to the real exam

    Each question carries a measured toughness. You are served a rung above your current level, so practice keeps stretching you.

    Notes written for recall, not for volume

    Full lesson cards for first study, curated short-note cards for the last mile — with derivations, traps and exam patterns marked.

    One place for everything

    Notes, chapter practice, previous-year questions, test series and full-length papers — all feeding one picture of your preparation.

    Honest progress

    No vanity streaks. Progress here means chapters mastered and accuracy that held up on harder questions.

    Unlock the whole course

    Full notes and short notes, the complete question bank with worked solutions, mock tests, full-length papers, and an adaptive plan that rebuilds itself as you improve.

    View all plansStart free

    Deductive Reasoning, Statements and Syllogisms Notes for GATE CS

    Deductive Reasoning, Statements and Syllogisms notes for GATE CS: 28 study cards covering concepts, formulas, shortcuts and exam traps, plus solved practice questions.

    Chapter Roadmap: Logic & Deductive Reasoning

    Chapter Journey: Analytical Aptitude

    1
    Passage-Based Deductive Inference (Current)
    Extracting necessary truths from paragraphs. Handling quantifiers in natural language.
    2
    Categorical Statements & Syllogisms
    Formal logic with Venn diagrams. Rules for All, Some, No. Validating conclusions.
    3
    Conditional Logic & Contraposition
    If P then Q. Necessary vs sufficient conditions. The contrapositive.
    Why this matters: Competitive exams test your ability to separate what is said from what is implied. This chapter provides the rigorous framework to do exactly that.

    The Golden Rule: Necessary vs. Possible

    Core Principle of Deductive Inference

    1 The Passage is Absolute Truth
    Assume every statement is factually correct, regardless of prior knowledge.
    2 Necessary vs. Possible
    Valid: Must be true in every scenario consistent with the passage.
    Invalid: Might be true, might be false. If there is any doubt, it is not a valid deduction.
    3 No Outside Information
    Do not bring in external facts, assumptions, or common sense unless explicitly supported.
    "It is likely that..." is not a deductive inference.
    "It must be that..." is.

    Quantifiers in Natural Language

    Decoding Quantifiers

    Precise interpretation of quantity words is critical for valid inference.

    Word/PhraseLogical MeaningNote
    All / Every of the setUniversal affirmative
    Some / At least one elementCould be , could be
    Most / Majority of the setStrictly more than half
    None / No of the setUniversal negative
    Many / FewVague / IndeterminateRarely supports definite conclusions
    Critical Trap
    If the passage says "Some A are B", you cannot infer "Some A are not B". It is possible that All A are B. "Some" does not exclude "All".

    The Elimination Method for Inference

    Step-by-Step Solving Strategy

    1
    Read the Question Stem
    Identify if it asks for what must be true, what can be inferred, or what cannot be concluded.
    2
    Analyze the Passage
    Break it down into atomic factual statements. Ignore rhetorical flourishes.
    3
    Evaluate Options (Elimination)
    • Reject Extreme Claims: "all", "never", "always" are often incorrect.
    • Reject New Information: Concepts not present in the passage are invalid.
    • Reject Reversals: "All A are B" "All B are A".
    • Reject Possibilities as Certainties: "X causes Y" vs "X is associated with Y".
    4
    Select the Survivor
    The option that remains must be logically airtight based only on the provided text.

    Deductive Reasoning, Statements and Syllogisms: Solved Questions with Step-by-Step Explanations (10 Problems)

    Question 1 · Analytical Aptitude MCQ

    Consider the passage: "All students who study daily pass the exam. Rohan passed the exam."

    How many of the following statements MUST be true based ONLY on the passage?

    1. Rohan studied daily.
    2. Some students who do not study daily might pass the exam.
    3. If a student did not pass the exam, they did not study daily.
    1. A.

      0

    2. B.

      1

    3. C.

      2

    4. D.

      3

    Correct Answer:

    B

    Step-by-Step Solution

    Key idea: This is a deductive inference question testing the distinction between "must be true" and "might be true." We apply the golden rule: only accept what MUST be true in every scenario consistent with the passage.

    Step 1: Analyze the passage.

    • "All students who study daily pass the exam" means: Study daily → Pass.
    • "Rohan passed the exam" means: Rohan ∈ Pass.

    Step 2: Evaluate each statement.

    • Statement 1: "Rohan studied daily." This is the converse fallacy. Just because Rohan passed doesn't mean he studied daily. He might have passed without studying daily. So this MIGHT be true, but doesn't HAVE to be true. NOT necessarily true.
    • Statement 2: "Some students who do not study daily might pass the exam." The passage says "All who study daily pass," but it doesn't say "ONLY those who study daily pass." So it's possible that some who don't study daily also pass. However, this is a possibility, not a necessity. The passage doesn't guarantee this. NOT necessarily true.
    • Statement 3: "If a student did not pass the exam, they did not study daily." This is the contrapositive of "All who study daily pass." The contrapositive of (Study daily → Pass) is (Not pass → Not study daily). The contrapositive is logically equivalent to the original statement. So this MUST be true.

    Step 3: Count the statements that MUST be true.

    • Only statement 3 MUST be true.

    Answer: B (1 statement)

    Question 2 · Analytical Aptitude MCQ

    Arjun told Priya, "Even if it rains tomorrow, I will still go for my morning run."

    Based ONLY on this statement, which one of the following MUST be true?

    1. A.

      Arjun will go for his morning run only if it does not rain.

    2. B.

      Arjun prefers running in the rain.

    3. C.

      Arjun's decision to go for his morning run is independent of whether it rains.

    4. D.

      It will not rain tomorrow.

    Correct Answer:

    C

    Step-by-Step Solution

    Key idea: This is a conditional intent question. The phrase "even if" indicates that the outcome (going for a run) is independent of the condition (rain).

    Step 1: Analyze the statement.

    • "Even if it rains tomorrow, I will still go for my morning run."
    • Let R = it rains tomorrow.
    • Let G = Arjun goes for his morning run.
    • The statement says: Even if R, G. This means G is independent of R.

    Step 2: Evaluate each option.

    • Option A: "Arjun will go for his morning run only if it does not rain." This means G → ¬R. But the statement says G happens regardless of R. So this is FALSE.
    • Option B: "Arjun prefers running in the rain." The statement doesn't say anything about preference. It only says he will go regardless of rain. So this is NOT necessarily true.
    • Option C: "Arjun's decision to go for his morning run is independent of whether it rains." This directly follows from "even if it rains, I will still go." The decision is fixed regardless of the condition. MUST be true.
    • Option D: "It will not rain tomorrow." The statement doesn't predict the weather. It only says what Arjun will do if it rains. So this is NOT necessarily true.

    Step 3: Identify the correct option.

    • Only option C MUST be true.

    Answer: C

    Question 3 · Analytical Aptitude MCQ

    Assertion (A): In a company, 60% of employees are in the engineering department. Of these engineers, 40% are senior and 60% are junior. Therefore, 40% of all employees are senior engineers.

    Reason (R): 40% of the engineers are senior.

    Which of the following is correct?

    1. A.

      Both A and R are true, and R is the correct explanation of A.

    2. B.

      Both A and R are true, but R is NOT the correct explanation of A.

    3. C.

      A is true but R is false.

    4. D.

      A is false but R is true.

    Correct Answer:

    D

    Step-by-Step Solution

    Key idea: This is an overlapping sets question with a unit mismatch trap. We need to carefully distinguish between percentages of a subset vs percentages of the total.

    Step 1: Analyze the given information.

    • 60% of all employees are engineers.
    • Of these engineers, 40% are senior and 60% are junior.

    Step 2: Calculate the percentage of senior engineers out of all employees.

    • 40% of engineers are senior.
    • Engineers are 60% of all employees.
    • So, senior engineers = 40% of 60% = 0.40 × 0.60 = 0.24 = 24% of all employees.

    Step 3: Evaluate the assertion (A).

    • A says: "40% of all employees are senior engineers."
    • But we calculated that only 24% of all employees are senior engineers.
    • Therefore, A is FALSE.

    Step 4: Evaluate the reason (R).

    • R says: "40% of the engineers are senior."
    • This is directly stated in the passage.
    • Therefore, R is TRUE.

    Step 5: Determine the relationship.

    • A is false, R is true.

    Answer: D

    Question 4 · Analytical Aptitude MCQ

    Consider the passage: "All employees who work in IT have a laptop. John works in IT. All laptops are expensive."

    How many of the following statements are NECESSARILY TRUE based ONLY on the passage?

    1. John has a laptop.
    2. John has an expensive laptop.
    3. Everyone who has a laptop works in IT.
    1. A.

      0

    2. B.

      1

    3. C.

      2

    4. D.

      3

    Correct Answer:

    C

    Step-by-Step Solution

    Key idea: This is a casework question testing the golden rule of necessary vs possible. We evaluate each statement individually to see if it MUST be true in every scenario.

    Step 1: Analyze the passage.

    • IT → Laptop.
    • John ∈ IT.
    • Laptop → Expensive.

    Step 2: Evaluate each statement.

    • Statement 1: "John has a laptop." Since John is in IT, and all IT have laptops, this MUST be true.
    • Statement 2: "John has an expensive laptop." Since John has a laptop, and all laptops are expensive, his laptop MUST be expensive. This MUST be true.
    • Statement 3: "Everyone who has a laptop works in IT." This is the converse of "IT → Laptop". The converse is not necessarily true. Someone outside IT might have a laptop. NOT necessarily true.

    Step 3: Count the necessarily true statements.

    • Statements 1 and 2 MUST be true. Total = 2.

    Answer: C

    Question 5 · Analytical Aptitude MCQ

    A software company's policy states: "Even if the server crashes during the deployment, the rollback procedure will not be initiated automatically."

    Based ONLY on this statement, which one of the following MUST be true?

    1. A.

      The decision to not initiate the rollback automatically is unaffected by a server crash.

    2. B.

      The rollback procedure will be initiated if the server does not crash.

    3. C.

      The server will definitely crash during deployment.

    4. D.

      The rollback procedure is only initiated manually.

    Correct Answer:

    C

    Step-by-Step Solution

    Key idea: This is a bounding question testing conditional intent. The phrase "even if" indicates that the outcome is independent of the condition.

    Step 1: Analyze the statement.

    • "Even if [condition], [outcome]."
    • Condition: Server crashes.
    • Outcome: Rollback not initiated automatically.
    • "Even if" means the outcome is fixed regardless of the condition.

    Step 2: Evaluate each option.

    • Option A: "The decision... is unaffected by a server crash." This directly matches the meaning of "even if." MUST be true.
    • Option B: "The rollback... will be initiated if the server does not crash." This is the inverse fallacy. The statement doesn't say what happens if the server doesn't crash. NOT necessarily true.
    • Option C: "The server will definitely crash..." The statement doesn't predict the future. NOT necessarily true.
    • Option D: "The rollback... is only initiated manually." The statement only says it won't be automatic. It doesn't specify how it might be initiated otherwise. NOT necessarily true.

    Answer: C (Note: Option A is the correct text, but in the options list it is the first one. Wait, let me fix the options order to match the answer key).

    Correction: The correct option is the first one. Let's adjust the answer key to A.

    Wait, I need to distribute answers. Let's make this option C.

    Options:

    A) The rollback procedure will be initiated if the server does not crash.

    B) The server will definitely crash during deployment.

    C) The decision to not initiate the rollback automatically is unaffected by a server crash.

    D) The rollback procedure is only initiated manually.

    Answer: C.

    Step 3: Select the correct option.

    • Option C correctly captures the independence of the outcome from the condition.

    Answer: C

    Question 6 · Analytical Aptitude MCQ

    Assertion (A): In a survey, 90% of people drink tea, and 80% drink coffee. Therefore, exactly 70% of people drink both tea and coffee.

    Reason (R): The minimum overlap is 70%, but the actual overlap could be higher (up to 80%).

    Which of the following is correct?

    1. A.

      Both A and R are true, and R is the correct explanation of A.

    2. B.

      Both A and R are true, but R is NOT the correct explanation of A.

    3. C.

      A is true but R is false.

    4. D.

      A is false but R is true.

    Correct Answer:

    D

    Step-by-Step Solution

    Key idea: This is a construction question testing overlapping sets. We must distinguish between the minimum possible overlap and the exact overlap.

    Step 1: Analyze the assertion (A).

    • Tea = 90%, Coffee = 80%.
    • The formula for minimum overlap is: Min(Tea ∩ Coffee) = Tea + Coffee - 100% = 90 + 80 - 100 = 70%.
    • However, A claims the overlap is "exactly 70%." This is false because the overlap could be anywhere from 70% to 80%.

    Step 2: Analyze the reason (R).

    • R states the minimum overlap is 70%, and the actual could be higher (up to 80%). This is a correct application of set theory.
    • Therefore, R is true.

    Step 3: Determine the relationship.

    • A is false, R is true.

    Answer: D

    Question 7 · Analytical Aptitude MCQ

    In a deductive-inference check, an option is rejected when a scenario can be found in which the passage remains true but the option is false. Let P: treat the passage as true, Q: imagine a scenario, R: check that the option is false while the passage remains true, S: reject the option. Which sequence gives the correct order of the check?

    1. A.

      P, Q, R, S

    2. B.

      Q, P, R, S

    3. C.

      R, Q, P, S

    4. D.

      S, P, Q, R

    Correct Answer:

    A

    Step-by-Step Solution

    Insight: this is a counterexample-test question. The passage must be fixed as true before any scenario is tested.

    Exam route:

    Step 1: Identify the starting condition. The passage is treated as true first, so P must come first.

    Step 2: After accepting the passage, imagine a scenario consistent with it, so Q comes next.

    Step 3: In that scenario, check whether the option is false while the passage is still true, so R comes next.

    Step 4: Only after that check can the option be rejected, so S comes last.

    Therefore the sequence is P, Q, R, S.

    Learning route:

    The rule being tested is: an inference is invalid if there exists at least one scenario where the premises are true and the conclusion is false. This makes the logical order fixed. Premise truth comes before scenario construction; scenario construction comes before observing failure; observing failure comes before rejection.

    Tempting wrong path: choosing Q, P, R, S by imagining a scenario before accepting the passage. That breaks at the first step because a counterexample must preserve the passage truth.

    Generalization: counterexample order is always premises true scenario conclusion false invalid.

    Verification: P, Q, R, S matches the given rule exactly.

    Question 8 · Analytical Aptitude MCQ

    A passage states: "Every employee in the marketing department has a company car. No employee in the marketing department works on weekends."

    Consider the following statements about a specific employee, X:

    1. X works on weekends.
    2. X does not have a company car.
    3. X is not in the marketing department.
    4. X has a company car and does not work on weekends.
    5. X is in the marketing department and works on weekends.

    If X is known to be in the marketing department, what is the MINIMUM number of the above statements that MUST be false?

    1. A.

      2

    2. B.

      3

    3. C.

      4

    4. D.

      5

    Correct Answer:

    C

    Step-by-Step Solution

    Key idea: This is a contradiction-based elimination question. We use the given condition (X is in marketing) to determine which statements MUST be false.

    Step 1: Analyze the passage.

    • "Every employee in the marketing department has a company car" means: Marketing → Has car.
    • "No employee in the marketing department works on weekends" means: Marketing → Not work on weekends.

    Step 2: Apply the given condition.

    • X is in the marketing department.
    • Therefore, X has a company car (from the first rule).
    • Therefore, X does not work on weekends (from the second rule).

    Step 3: Evaluate each statement.

    • Statement 1: "X works on weekends." This contradicts the passage. MUST be false.
    • Statement 2: "X does not have a company car." This contradicts the passage. MUST be false.
    • Statement 3: "X is not in the marketing department." This contradicts the given condition. MUST be false.
    • Statement 4: "X has a company car and does not work on weekends." This is consistent with the passage. MUST be true.
    • Statement 5: "X is in the marketing department and works on weekends." The first part is true, but the second part contradicts the passage. MUST be false.

    Step 4: Count the statements that MUST be false.

    • Statements 1, 2, 3, and 5 MUST be false.
    • That's 4 statements.

    Answer: C (4)

    Question 9 · Analytical Aptitude MCQ

    Passage: "All engineers are logical. No logical people are emotional."

    Consider statements about Person P, who is known to be an engineer:

    1. P is emotional.
    2. P is not logical.
    3. P is an engineer and logical.
    4. P is logical and not emotional.

    What is the MINIMUM number of the above statements that MUST be false?

    1. A.

      1

    2. B.

      2

    3. C.

      3

    4. D.

      4

    Correct Answer:

    B

    Step-by-Step Solution

    Key idea: This is a contradiction-based elimination question. We use the given condition (P is an engineer) to determine which statements MUST be false.

    Step 1: Analyze the passage.

    • Engineer → Logical.
    • Logical → Not emotional.
    • Therefore, Engineer → Not emotional.

    Step 2: Apply the given condition.

    • P is an engineer.
    • Therefore, P is logical.
    • Therefore, P is not emotional.

    Step 3: Evaluate each statement.

    • Statement 1: "P is emotional." Contradicts "P is not emotional." MUST be false.
    • Statement 2: "P is not logical." Contradicts "P is logical." MUST be false.
    • Statement 3: "P is an engineer and logical." Both parts are true. MUST be true.
    • Statement 4: "P is logical and not emotional." Both parts are true. MUST be true.

    Step 4: Count the statements that MUST be false.

    • Statements 1 and 2 MUST be false. Total = 2.

    Answer: B

    Question 10 · Analytical Aptitude MCQ

    Consider the passage: "All roses are flowers. All flowers are plants. Some plants are green."

    Based ONLY on this passage, how many of the following statements MUST be true?

    (I) All roses are plants.

    (II) Some roses are green.

    (III) All roses are flowers.

    (IV) All plants are roses.

    1. A.

      1

    2. B.

      2

    3. C.

      3

    4. D.

      4

    Correct Answer:

    B

    Step-by-Step Solution

    Key idea: This is a deductive inference question testing what MUST be true vs. what MIGHT be true. We need to check each statement against the passage using strict logical deduction.

    Step 1: Analyze statement (I): "All roses are plants."

    • Passage says: All roses are flowers, and all flowers are plants.
    • Therefore: roses → flowers → plants
    • This MUST be true. ✓

    Step 2: Analyze statement (II): "Some roses are green."

    • Passage says: Some plants are green.
    • Roses are plants, but the passage doesn't say which plants are green.
    • Roses might or might not be among the green plants.
    • This MIGHT be true, but doesn't MUST be true. ✗

    Step 3: Analyze statement (III): "All roses are flowers."

    • This is directly stated in the passage.
    • This MUST be true. ✓

    Step 4: Analyze statement (IV): "All plants are roses."

    • Passage says all roses are plants, but doesn't say all plants are roses.
    • There could be plants that are not roses.
    • This MIGHT be false, so it doesn't MUST be true. ✗

    Step 5: Count the statements that MUST be true: (I) and (III) = 2 statements.

    Answer: 2

    More notes in this unit