Concepts and Formulas - Mathematical Reasoning
Concepts and Formulas - Mathematical Reasoning
ALGEBRA
MATHEMATICAL REASONIN
In a mathematical language, there are two kinds of reasoning inductive and deductive. We have already discussed the in
shall discuss some fundamentals of deductive reasoning.
Sentence: We communicate our ideas or thoughts with the help of sentences in particular languages.
Following types of sentences are normally used.
(i) Assertive Sentence: A sentence that makes an assertion is called an ‘assertive sentence or a declarative sentence’.
Eg: New Delhi is the capital of India
(ii) Imperative Sentence: A sentence that expresses a request or a command is called an imperative sentence.
Eg: please give me a glass of water
(iii) Exclamatory Sentence: A sentence that expresses some strong feeling is called an exclamatorysentence.
Eg: Oh God! what a beautiful scene
(iv) Interrogative sentence: A sentence that asks some question is called an interrogative sentence.
Eg: To which state do you belong?
(v) Optative sentence: A sentence that expresses a wish is called an optative sentence.
Eg:God bless you.
Statement (or) Proposition: A sentence is called a mathematically acceptable statement if it is either true(T) or false(F) b
Eg: Natural numbers are always positive
Statements are usually denoted by the letters p,q,r, ......etc.
The truthness or falsity of a statement is called its truth value. Truthness of a statement is denoted by
T. While its falsity is denoted by F.
True statements: Eg: (i) 2012 is a leap year,
(ii)The sum of all interior angles of a triangle is 1800.
False statements:
Eg: (i) All prime numbers are odd integers.
(ii) Two plus two is five.
Not a statement: Eg:(i) Mathematics is difficult.
(ii) Tomorrow is Sunday.
Simple Statement: Any statement or proposition whose truth value does not explicitly depend on another statement is ca
Eg: Sun rises in the east. Its truth value is T
Compound statement: A statement which is made up of two or more simple statements using the connectives “and ( )
statement. In this case each statement is called a component statement.
Eg: This book is for mathematics and its target is Jee-mains
Sub-Statement: The simple statements which form a compound statement are known as its sub-statements
or components or constituents.
If p, q, r ...... are sub-statements of a compound statement S then the compound statement can be
written as S ( p, q, r....) .
Compound statement is that its truth value is completely determined by the truth values of the sub-
statements together with the way in which they are connected to form the compound statement.
Open Statement: A sentence which contains one or more variables such that when certain values are
given to the variable it becomes a statement, is called an open statement.
Eg: “He is a great man” is an open sentence because in the sentence “He” can be replaced by any
person.
Eg: Which of the following statement is/are open statement(s)?
(1) Ram eats a mango.
(2) Krishna goes to school
(3) He lives in India
(4) Anil and Anuj are good friends.
Sol: In a given options, only option (3) is an open statement, because in this sentence ‘he’ can be
specified to any person.
Truth Table: A table that shows the relationship between the truth value of compound statement,
S(p,q,r,...) and the truth values of its sub statements p, q, r,...etc.., is called the truth tables of statement
S.
(i) For a single statement p, number of rows=21=2
Note: If a compound statement has simply n sub statements, then there are 2n rows representing logical
possibilities.
2
Basic logical connectives or logical operators: Two or more statements are combined to form a
compound statement by using symbols. These symbols are called logical connectives. Logical
connectives are given below.
Negation ( ~) : The process of forming the contradictory of a given statement is called negation.
If p is a statement, then the negation of p is also a statement denoted by ~p.
Eg :- p: New Delhi is a city, then ~p: It is false that New Delhi is a city. (or) New Delhi is not a city
Negation Truth table:
Conjunction ( ): Any two simple statements can be connected by the word ‘and’ to form a compound
statement called the conjunction of the original statements.
Let p and q be two statements. The conjunction of p and q is denoted by p q , read as p and q
Truth table for Conjunction:
3
Disjunction (Alternation)( ): Any two statements can be connected by the word ‘or’ to form a compound
statement called the ‘disjunction’ of the original statements.
Let p and q be two statements the disjunction of p and q is denoted by p q , read as p or q.
Truth table for disjunction:
4
Truth table for Bi-implication:
Tautology, Contradiction:
(i) A compound statement that is always true is called a tautology.
(ii) A compound statement that is always false is called a contradiction or fallassy.
Eg:- Let p be a statement
5
Truth table:
The phrases, ‘for all’, ‘for some’, ‘for no’, ‘for every’ and ‘there exists at least one’ convey the idea
of quantity and refer to some specific collection of numbers or objects. These phrases quantify the
variable in open sentences. They are called quantifiers.
The quantifier ‘for all’ or ‘for every’ is called the universal quantifier and is denoted by . The
quantifier ‘some’ or ‘there exists at least one’ is called existential quantifier and is denoted by the
symbol .
6
Algebra of statements:
1. Idempotent laws: For any statement p,
(i) p p p (ii) p p p
2. Commutative laws: For any statements p and q
(i) p q q p (ii) p q q p
3. Associative laws: For any three statements p, q, r
(i) (p q) r p (q r) (ii) ( p q) r p (q r)
4. Distributive Laws: For any three statements p, q, r,
(i) p (q r) (p q) (p r)
(ii) p (q r) (p q) (p r)
5. DeMorgan’s laws: If p and q are two statements, then
(i) ~ ( p q) (~p)(~q)
(ii) ~ ( p q) (~p)(~q)
6. Identity laws: If t and c denote a tautology and a contradiction respectively, then for any statement p,
(i) p t p (ii) p c p
(iii) p t t (iv) p c c
7. Complement laws: For any statement p,
(i) p (p) t (ii) p (~ p) c
8. Law of contrapositive: For any two statements p and q,
(i) p q ~ q ~ p
9. Involution Laws: For any statement p,
we have ~ (~p) p.