CBSE Class 11 Maths: Mathematical Reasoning Ex 14.5 – Implications and their Variants

Understanding Implications and Their Related Statements

In mathematical reasoning, an implication is a compound statement formed by two simple statements, often connected by the phrase "If... then...". We denote an implication as $p \implies q$, where $p$ is the hypothesis (or antecedent) and $q$ is the conclusion (or consequent). For example, "If it rains (p), then the ground is wet (q)" is an implication. An implication is only false if the hypothesis ($p$) is true and the conclusion ($q$) is false. In all other cases, it is considered true.

From a given implication $p \implies q$, we can derive three other related conditional statements: the converse, the inverse, and the contrapositive. Understanding the relationship and logical equivalence (or lack thereof) between these statements is vital. The ability to correctly form these statements and analyse their truth values is a key skill tested in Exercise 14.5. This section will thoroughly explain each type, ensuring you can apply these rules confidently in your exams and future studies.

Key Terms: Implication, Converse, Inverse, Contrapositive

Implication (Original Statement)

An 'if-then' statement represented as $p \implies q$. It means 'If p, then q'. The statement is false only when $p$ is true and $q$ is false.

Converse

Formed by interchanging the hypothesis and the conclusion of the original implication. If the original statement is $p \implies q$, its converse is $q \implies p$. It means 'If q, then p'.

Inverse

Formed by negating both the hypothesis and the conclusion of the original implication. If the original statement is $p \implies q$, its inverse is $\neg p \implies \neg q$. It means 'If not p, then not q'.

Contrapositive

Formed by interchanging and negating both the hypothesis and the conclusion of the original implication. If the original statement is $p \implies q$, its contrapositive is $\neg q \implies \neg p$. It means 'If not q, then not p'.

Worked Examples: Forming Related Statements

• Example 1: Geometric Property Let the original implication be: "If a quadrilateral is a square (p), then it is a rectangle (q)." Step 1: Identify p and q. p: A quadrilateral is a square. q: It is a rectangle. Step 2: Form the Converse ($q \implies p$). Interchange p and q: Converse: "If a quadrilateral is a rectangle, then it is a square." (Note: This statement is false, as a rectangle is not necessarily a square.) Step 3: Form the Inverse ($\neg p \implies \neg q$). Negate p and negate q: Inverse: "If a quadrilateral is not a square, then it is not a rectangle." (Note: This statement is also false, e.g., a rhombus is not a square but also not a rectangle.) Step 4: Form the Contrapositive ($\neg q \implies \neg p$). Interchange and negate p and q: Contrapositive: "If a quadrilateral is not a rectangle, then it is not a square." (Note: This statement is true, and it is logically equivalent to the original statement.)
• Example 2: Algebraic Condition Let the original implication be: "If x = 2 (p), then x + 3 = 5 (q)." Step 1: Identify p and q. p: x = 2 q: x + 3 = 5 Step 2: Form the Converse ($q \implies p$). Converse: "If x + 3 = 5, then x = 2." (Note: This statement is true. If x+3=5, then x=2 must be true.) Step 3: Form the Inverse ($\neg p \implies \neg q$). Inverse: "If x \neq 2, then x + 3 \neq 5." (Note: This statement is true. If x is not 2, then x+3 cannot be 5.) Step 4: Form the Contrapositive ($\neg q \implies \neg p$). Contrapositive: "If x + 3 \neq 5, then x \neq 2." (Note: This statement is true, and logically equivalent to the original.)
• Example 3: Everyday Scenario Let the original implication be: "If you study hard (p), then you will pass the exam (q)." Step 1: Identify p and q. p: You study hard. q: You will pass the exam. Step 2: Form the Converse ($q \implies p$). Converse: "If you pass the exam, then you studied hard." (Note: This might not be true; you could have passed by luck or by cheating.) Step 3: Form the Inverse ($\neg p \implies \neg q$). Inverse: "If you do not study hard, then you will not pass the exam." (Note: This might not be true; you might still pass by being naturally smart or the exam being easy.) Step 4: Form the Contrapositive ($\neg q \implies \neg p$). Contrapositive: "If you do not pass the exam, then you did not study hard." (Note: This statement is generally considered true in a practical sense, and it is logically equivalent to the original statement.)

Exam Tip: Logical Equivalence is Key!

A very common pitfall in mathematical reasoning exams is confusing which statements are logically equivalent. Remember this crucial rule:

The original implication ($p \implies q$) is always logically equivalent to its contrapositive ($\neg q \implies \neg p$). This means they always have the same truth value. If one is true, the other is true; if one is false, the other is false.

The converse ($q \implies p$) is logically equivalent to the inverse ($\neg p \implies \neg q$). They also always share the same truth value.

However, the original implication is NOT necessarily logically equivalent to its converse or its inverse. Do not assume that if an implication is true, its converse or inverse must also be true. Always analyze their truth values independently, as shown in the examples. Pay close attention to negations; a misplaced 'not' can completely change the meaning and truth value of a statement.

Practice Questions with Solutions

• Q: For the statement "If a number is divisible by 9, then it is divisible by 3," write its converse, inverse, and contrapositive. A: Step 1: Identify p and q. p: A number is divisible by 9. q: It is divisible by 3. Step 2: Form the Converse ($q \implies p$). Converse: "If a number is divisible by 3, then it is divisible by 9." Step 3: Form the Inverse ($\neg p \implies \neg q$). Inverse: "If a number is not divisible by 9, then it is not divisible by 3." Step 4: Form the Contrapositive ($\neg q \implies \neg p$). Contrapositive: "If a number is not divisible by 3, then it is not divisible by 9." Final answer: Converse: "If a number is divisible by 3, then it is divisible by 9." Inverse: "If a number is not divisible by 9, then it is not divisible by 3." Contrapositive: "If a number is not divisible by 3, then it is not divisible by 9."
• Q: Given the statement "If it is raining, then the streets are wet." Determine if the inverse is true or false. A: Step 1: Identify p and q. p: It is raining. q: The streets are wet. Step 2: Form the Inverse ($\neg p \implies \neg q$). Inverse: "If it is not raining, then the streets are not wet." Step 3: Evaluate the truth value of the inverse. Consider a scenario where it is not raining, but the streets are still wet (e.g., due to a water pipe burst, cleaning, or recent melting snow). In this case, $\neg p$ is true, but $\neg q$ is false. Therefore, the inverse statement is false. Final answer: The inverse statement "If it is not raining, then the streets are not wet" is False.
• Q: Write the contrapositive of the statement: "If an integer is even, then its square is even." A: Step 1: Identify p and q. p: An integer is even. q: Its square is even. Step 2: Form the Contrapositive ($\neg q \implies \neg p$). Negate q: Its square is not even (i.e., its square is odd). Negate p: An integer is not even (i.e., an integer is odd). Contrapositive: "If the square of an integer is odd, then the integer is odd." Final answer: "If the square of an integer is odd, then the integer is odd."
• Q: For the statement "If a triangle is equilateral, then it is isosceles," write its converse and state whether the converse is true or false. A: Step 1: Identify p and q. p: A triangle is equilateral. q: It is isosceles. Step 2: Form the Converse ($q \implies p$). Converse: "If a triangle is isosceles, then it is equilateral." Step 3: Evaluate the truth value of the converse. An isosceles triangle has at least two equal sides. An equilateral triangle has all three sides equal. An isosceles triangle with only two equal sides is not equilateral. For example, a triangle with sides 5, 5, 3 is isosceles but not equilateral. Here, q is true, but p is false. Thus, the converse is false. Final answer: Converse: "If a triangle is isosceles, then it is equilateral." This statement is False.

Frequently Asked Questions