Chapter Summary: Key Formulas and Concepts
Logical Connectives & Truth Tables
- Statement: A sentence that is either True or False.
- Negation (): Reverses the truth value of .
- Conjunction (): True only when both and are True.
- Disjunction (): False only when both and are False.
- Implication (): False only when is True and is False.
- Biconditional (): True only when and have the same truth value.
Tautology and Contradiction
- Tautology: A statement that is always True (e.g., ).
- Contradiction: A statement that is always False (e.g., ).
Quantifiers
- Universal (): "For all". Negation of is .
- Existential (): "There exists". Negation of is .
Related Implications
Given an implication :
- Converse: .
- Inverse: .
- Contrapositive: .
Logical Equivalences
- Implication: .
- Contrapositive: .
- Converse and Inverse: .
- De Morgan's Laws:
Methods of Proof
- Direct Proof: Assume is true, deduce is true.
- Proof by Contrapositive: Assume is true, deduce is true.
- Proof by Contradiction: Assume the statement is false, and derive a logical contradiction.
- Proof by Counterexample: Find a single case where a universal statement is false.
JEE Exam Tips & Strategies
Guaranteed Marks: Mathematical Reasoning is one of the highest-scoring topics in JEE Main. You can almost certainly expect one question from this chapter, and it's usually one of the easiest to solve if you know the rules.
Master Truth Tables: If you are ever in doubt about the equivalence of two statements, quickly draw a truth table. It is a foolproof method to check for tautology, contradiction, or equivalence. Practice creating them quickly.
Memorize Key Equivalences: For speed, you must memorize the most important logical equivalences:
- The contrapositive equivalence:
- De Morgan's Laws. Many JEE questions are direct applications of these rules.
Contrapositive is Your Best Friend: Questions often involve complex-sounding implications. Translating a statement to its contrapositive can often simplify the logic and make the truth value more obvious. Always check the contrapositive form.
Negation of Quantifiers: Be very careful when negating statements with "All" or "Some". The negation of "All A are B" is not "All A are not B". It is "Some A are not B". This is a very common trap.
Translate English to Symbols: The first step to solving a word problem is to break down the English sentences into symbolic form. Assign variables () to each simple statement and identify the connectives (and, or, if-then). This makes the underlying structure clear and easy to manipulate.