Mathematical Reasoning for IIT JEE

A sentence can be true or false, but cannot be both. This article explains the topic of mathematical reasoning for IIT JEE.

Logical reasoning has a major role to play in our daily lives. For example, if a bag has balls of red, blue and black colour. And once a statement is made that all the balls that are coloured in red are being taken out of the bag means by logical reasoning that the available balls in the bag is of only blue and black colour.

Difference between Statement and Sentence in Logic

A statement is a sentence which is either true or false, but not both true and false simultaneously.

A sentence will not be considered to be a Statement if:

It is an exclamation, order, request, question, depicts time, places, pronouns.

Consider the following examples:

Sentence Statement or not
Thrissur is the cultural capital of Kerala Yes (as it’s true)
Get Out! No (command)
Current is directly proportional to Resistance No (false statement)

The statements can be either simple or compound statements. They are described as follows:

SIMPLE STATEMENT

If a statement cannot be further broken down into various statements, or in simpler words if it is concrete by itself, it is called a Simple Statement.

Examples include:

  • A kite is not a rhombus.
  • 15 is an odd number.

COMPOUND STATEMENT

If a statement can further be broken down into simpler statements so that from a main statement, we can yield more than one statement, then it is called a Compound Statement.

Consider the statement “10 is non-negative and a multiple of 5” which can be broken down into the statements: “10 is non-negative” and “10 is a multiple of 5”.

Basic Logical Connectivities

The words that are used to combine more than one simple statement form a compound statement is called Connectives. Some of the common connectives are listed below:

CONJUNCTION (represents English word AND) Symbol: ^
DISJUNCTION (=OR) Symbol: v
NEGATION (=NOT) Symbol: ~

For example:

Let p= Laptop has a keyboard.

And q= clock has needle

p^q = Laptop has a keyboard and clock has a needle is the conjunction statement.

p v q= Laptop has keyboard or clock has needle is the disjunction statement.

~p = Laptop has no keyboard

~q = clock has no needle

Conjunction, Disjunction and Negation

CONJUNCTION

  • The statement p^q has the truth value T(true) if both p and q have the truth value T.
  • Similarly, the statement p^q has the truth value F(false) if either p or q have the truth value F or both have the truth value F.

DISJUNCTION

  • The statement pvq has the truth value F(false) if both p and q have the truth value F.
  • Similarly, the statement pvq has the truth value T(true) if either p or q have the truth value T or both have the truth value T.

NEGATION

  • ~p has truth value T whenever p has truth value F.
  • ~p has truth value F whenever p has truth value T.

NEGATION OF COMPOUND STATEMENTS

The negation of a conjunction p ^ q is the disjunction of the negation of p and the negation of q.

~ (p ^ q) = ~p v ~q

Negation of conjunction of Laptop has keyboard and clock has no needle is:

Laptop has no keyboard or Clock has no needle.

The negation of a disjunction p v q is the conjunction of the negation of p and the negation of q.

~ (p v q) = ~p ^ ~q

Negation of disjunction of Laptop has keyboard and clock has no needle is:

Laptop has no keyboard and Clock has no needle.

The negation of negation of a statement is the statement itself.

~(~p)=p.

Conditional Statement and Its Converse

CONDITIONAL STATEMENT

If a connective “if then” is used to make the compound statement if p then q, it is a conditional statement.it is also called as an implication and is written as p => q.

CONTRAPOSITIVE of a Conditional Statement is: ~q => ~p.

“If the laptop has a keyboard, then clock has a needle” be the statement given to us.

Let p= “laptop has a keyboard” and q= “clock has a needle”. Given statement is in the form p => q. Thus, its contrapositive is obtained by ~q=>~p.

It would be “If the clock has no needle, then the laptop has no keyboard”.

CONVERSE OF A CONDITIONAL STATEMENT

If p=>q is a conditional statement; then its converse is q=>p.

Let the conditional statement be “If the laptop has a keyboard, then the clock has a needle”

Then, its converse would be obtained as: “If the clock has a needle, then the laptop has a keyboard”.

Truth Table For Logical Operations

AND operation:

p q p ∧ q
T T T
T F F
F T F
F F F

OR operation:

p q p ∨ q
T T T
T F T
F T T
F F F

Negation operation: 

p ∼ p
T F
T F
F T
F T

 Conditional operation:

p q p ⇒ q
T T T
T F F
F T T
F F T

Biconditional operation:

p q p ⇔ q
T T T
T F F
F T F
F F T

Tautology and Fallacy

A tautology asserts that every possible interpretation has only one output, namely true.

On the other hand, fallacy implies an assertion of false in every possible interpretation.

There are infinitely many tautologies. Some of them are listed as shown below:

  1. “A or not A”, called the law of excluded middle. This formula has only one propositional variable, A.
  2. A=>B 🡺 ~B=>~A, called the law of contraposition.
  3. ~(A ^ B) 🡺 ~A v ~B, called the De Morgan’s law.
  4. ((A=>B) ^ (B=>C)) 🡺 (A=>C), called as the principle of Syllogism.
  5. ((A v B) ^ (A=> C) ^ (B=>C)) 🡺C, called the principle of proof by cases.

A minimal tautology is a tautology that is not the instance of a shorter tautology.

To evaluate tautology and fallcy, we can adopt the concept of the truth table that includes every possible valuation.

p q ⇒q ⇒p (p⇒q)∨(q⇒p) ∼{(p⇒q) ∨(q⇒p)}
T T T T T F
T F F T T F
F T T F T F
F F T T T F

As mentioned earlier, a fallacy is a faulty reasoning, using wrong moves. Fallacious arguments usually have deceptive appearance of being valid arguments.

Fallacy is classified as formal and informal fallacies by their structure or content. Informal fallacies are again sub-classified into linguistic, relevance through omission, intrusion, presumption, etc.

Fallacies may also be classified as verbal and material fallacies wrt the process by which they occur.

General Logical Equivalences

It comprises of the following laws:

  • Idempotent Law
  1. ∧ ⇔ p
  • Associative Law
  • Commutative Law
  • Distributive Law
  • Identity Laws
  • Complement Laws
  • Absorption Law
  • De-Morgan’s Law
  • Involution Law

Additional Important Points

Also Read

Statistics For Iit Jee

Jee Main Maths Statistics Previous Year Questions With Solutions