Logical reasoning is a vital skill for competitive exams, helping you analyze information clearly and draw valid conclusions. At the heart of logical reasoning lie statements and conditions. Understanding these concepts is crucial because they form the building blocks of logical arguments and problem-solving questions.
A statement is a sentence that declares something and can be either true or false. A condition is a clause or requirement that affects whether a statement is true or false. By mastering how conditions influence statements, you can confidently tackle a wide range of reasoning problems.
In this section, we will explore what statements and conditions are, learn about different types of conditions, understand logical connectors, and practice evaluating compound statements. This foundation will prepare you to analyze complex logical problems effectively.
What is a Statement?
A statement is a declarative sentence that is either true or false, but not both. For example:
Statements are the basic units of logical reasoning because they convey information that can be evaluated.
What is a Condition?
A condition is a clause or phrase that determines the truth of another statement. It often appears as "if", "only if", or "when" clauses. Conditions set requirements that must be met for a statement to be true.
For example, consider the statement: "If it rains, then the ground gets wet."
Conditions can be classified into two important types:
Necessary Condition: A condition that must be true for the statement to hold true, but alone may not guarantee the statement.
Sufficient Condition: A condition that, if true, guarantees the statement is true.
Example:
| Statement | Condition | Truth Value When Condition is Met | Truth Value When Condition is Not Met |
|---|---|---|---|
| If it is a weekend, then the library is closed. | It is a weekend. | True (library closed) | False or Unknown (library may be open) |
| A number is even if it is divisible by 2. | Number divisible by 2. | True (number is even) | False (number is not even) |
| Only if it rains, the match will be canceled. | It rains. | True (match canceled) | False (match not canceled) |
Statements often combine with others using logical connectors. These connectors affect the overall truth of compound statements. The most common connectors are:
| P | Q | P AND Q | P OR Q | NOT P | P -> Q (Implication) | P ↔ Q (Biconditional) |
|---|---|---|---|---|---|---|
| T | T | T | T | F | T | T |
| T | F | F | T | F | F | F |
| F | T | F | T | T | T | F |
| F | F | F | F | T | T | T |
When statements combine using logical connectors, their truth depends on the truth values of each part and the connector used. To analyze these, we use truth tables-a systematic way to list all possible truth values and find the overall truth.
Two important concepts related to implication (IF-THEN) are the contrapositive and the converse:
graph TD P[Statement P] -->|Implication| Q[Statement Q] Q -->|Converse| P negQ[Not Q] -->|Contrapositive| negP[Not P] negP -->|Inverse| negQ
Understanding these relationships helps in transforming and evaluating logical statements more flexibly.
Step 1: Identify the condition and conclusion.
Condition (P): Number is divisible by 4.
Conclusion (Q): Number is even.
Step 2: Check for number 8.
8 is divisible by 4 (P is true), and 8 is even (Q is true).
Since P -> Q and both are true, the statement holds.
Step 3: Check for number 6.
6 is not divisible by 4 (P is false), but 6 is even (Q is true).
When P is false, the implication \( P \rightarrow Q \) is considered true regardless of Q.
Answer: The statement is true for both numbers.
Step 1: Identify P and Q.
P: Student passes the exam.
Q: Student studied hard.
Step 2: Write the contrapositive.
Contrapositive: "If a student did not study hard, then they did not pass the exam." (\( eg Q \rightarrow eg P \))
Step 3: Understand logical equivalence.
The contrapositive is always logically equivalent to the original implication.
Answer: The contrapositive is "If a student did not study hard, then they did not pass the exam," and it is logically equivalent to the original statement.
Step 1: Understand the statement.
Having a ticket is necessary means: Without a ticket, you cannot enter.
Step 2: Is having a ticket sufficient?
Not necessarily. You might need to pass security checks or meet other criteria.
Step 3: Conclusion.
Having a ticket is necessary but not sufficient to enter the concert.
Answer: Ticket is necessary but not sufficient; other conditions may apply.
Step 1: Identify parts.
P: It is raining (true)
Q: It is cold (true)
R: Ground is wet (false)
S: Heater is on (true)
Step 2: Evaluate the antecedent (P AND Q).
P AND Q = true AND true = true
Step 3: Evaluate the consequent (R OR S).
R OR S = false OR true = true
Step 4: Evaluate implication.
If (P AND Q) then (R OR S) = If true then true = true
Answer: The compound statement is true under the given conditions.
Step 1: Identify the condition.
Condition: Buy more than 5 packets (i.e., packets > 5) to get a discount.
Step 2: Check if condition is met.
Customer buys 7 packets, which is more than 5, so condition is true.
Step 3: Calculate total price without discount.
Price per packet = Rs.50
Total without discount = 7 x 50 = Rs.350
Step 4: Calculate discount amount.
Discount = 10% of Rs.350 = Rs.35
Step 5: Calculate amount payable.
Amount payable = Rs.350 - Rs.35 = Rs.315
Answer: The customer gets a discount and pays Rs.315.
When to use: When dealing with multiple logical connectors or compound statements.
When to use: To simplify or reframe IF-THEN statements in problems.
When to use: When unsure about the direction of implication in a statement.
When to use: In application-based or real-life scenario questions.
When to use: To save time during competitive exams.
Progress tracking is paywalled — subscribe to mark subtopics as understood and save your streak.
Go to practice →