Deductive Reasoning, Statements and Syllogisms Practice Questions for GATE CS

Solve 125+ Deductive Reasoning, Statements and Syllogisms practice questions for GATE CS with answers and detailed solutions. Free sample questions below.

Chapter Roadmap: Logic & Deductive Reasoning

Chapter Journey: Analytical Aptitude

Passage-Based Deductive Inference (Current)

Extracting necessary truths from paragraphs. Handling quantifiers in natural language.

Categorical Statements & Syllogisms

Formal logic with Venn diagrams. Rules for All, Some, No. Validating conclusions.

Conditional Logic & Contraposition

If P then Q. Necessary vs sufficient conditions. The contrapositive.

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.

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?

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

A.
0
B.
1
C.
2
D.
3

Correct Answer:

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?

A.
Arjun will go for his morning run only if it does not rain.
B.
Arjun prefers running in the rain.
C.
Arjun's decision to go for his morning run is independent of whether it rains.
D.
It will not rain tomorrow.

Correct Answer:

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?

A.
Both A and R are true, and R is the correct explanation of A.
B.
Both A and R are true, but R is NOT the correct explanation of A.
C.
A is true but R is false.
D.
A is false but R is true.

Correct Answer:

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?

John has a laptop.
John has an expensive laptop.
Everyone who has a laptop works in IT.

A.
0
B.
1
C.
2
D.
3

Correct Answer:

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?

A.
The decision to not initiate the rollback automatically is unaffected by a server crash.
B.
The rollback procedure will be initiated if the server does not crash.
C.
The server will definitely crash during deployment.
D.
The rollback procedure is only initiated manually.

Correct Answer:

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?

A.
Both A and R are true, and R is the correct explanation of A.
B.
Both A and R are true, but R is NOT the correct explanation of A.
C.
A is true but R is false.
D.
A is false but R is true.

Correct Answer:

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?

A.
P, Q, R, S
B.
Q, P, R, S
C.
R, Q, P, S
D.
S, P, Q, R

Correct Answer:

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 $\to$ scenario $\to$ conclusion false $\to$ 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:

X works on weekends.
X does not have a company car.
X is not in the marketing department.
X has a company car and does not work on weekends.
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?

A.
2
B.
3
C.
4
D.
5

Correct Answer:

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:

P is emotional.
P is not logical.
P is an engineer and logical.
P is logical and not emotional.

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

A.
1
B.
2
C.
3
D.
4

Correct Answer:

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.

A.
1
B.
2
C.
3
D.
4

Correct Answer:

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

Try a question

Login to view the complete practice questions and solutions

Personalised first. High quality throughout.

Built around you, not around a syllabus PDF

Revision that hits your weak spots

Questions calibrated to the real exam

Notes written for recall, not for volume

One place for everything

Honest progress

Unlock the whole course

Deductive Reasoning, Statements and Syllogisms Practice Questions for GATE CS

Chapter Roadmap: Logic & Deductive Reasoning

Chapter Journey: Analytical Aptitude

The Golden Rule: Necessary vs. Possible

Core Principle of Deductive Inference

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

Step-by-Step Solution

Step-by-Step Solution

Step-by-Step Solution

Step-by-Step Solution

Step-by-Step Solution

Step-by-Step Solution

Step-by-Step Solution

Step-by-Step Solution

Step-by-Step Solution

Step-by-Step Solution

More practice questions in this unit