Mathematical Statement

For understanding any mathematical statement we first need to recollect what maths is basically. When we solve any problem in maths our solution is either right or wrong. There is no midway to the problems! Similar is the situation with any mathematical statement. A mathematical statement is either true or false.

Mathematical Statement Definition:

A statement (or proposition) is a sentence that is either true or false (both not both).

So ‘3 is an odd integer’ is a statement. But ‘π is a cool number’ is not a (mathematical) statement. Note that ‘4 is an odd integer’ is also a statement, but it is a false statement.

Any statement which is predicted to be both cannot be a mathematical statement. For understanding this we take three sentences:

• The first prime minister of United States was a woman.
• Blue Whale is the largest animal on Earth.
• Girls are intelligent than boys.

The first statement is false while the second is true, but when we consider the third statement for some it is true while for others it is false. All girls are not intelligent than boys. So a statement which is either true or false is called a mathematical statement.

Every statement that is either true or false is said to be a mathematically accepted one, hence is called a mathematical statement.

Mathematical Statement In Discrete Mathematics

A meaningful composition of words which can be considered either true or false is called a mathematical statement or simply a statement.

A single letter shall be used to denote a statement. For example, the letter ‘p’ may be used to stand for the statement “ABC is an equilateral triangle.” Thus, p = ABC is an equilateral triangle.

Production of New Statement

New statements from given statements can be produced by:

1. Negation: ∼
   If p is a statement then its negation ‘∼p’ is statement ‘not p’. ‘∼p’ has truth value F or T according to the truth value of  ‘p’ is T or F.
2. Implication: ⇒
   If from a statement p another statement q follows, we say ‘p implies q’ and write ‘p⇒ q’. Such a result is called an implication. The truth value of ‘p ⇒ q’ is F only when p has truth value T and q has the truth value F.
   The statements involving ‘if p holds then q’ are of the kind p ⇒ q. For example, x= 2 ⇒ x² = 4.
3. Conjunction: ∧
   The sentence ‘p and q’ which may be denoted by ‘p ∧ q’ is the conjunction of p and q. The truth value of p ∧ q is T only when both p and q are true.
4. Disjunction:  ∨
   The sentence ‘p or q (or both)’ which may be denoted by ‘p ∨ q’ is called the disjunction of the statements p and q. The truth value of p ∨ q is F only when both p and q are false.

Equivalence of Two Statements, p⇔q

Two statements p and q are said to be equivalent if one implies the other, and in such a case we use the double implication symbol ⇔ and write p ⇔ q.

The statements which involve the phrase ‘if and only if’ or ‘is equivalent to’ or ‘the necessary and sufficient conditions’ are of the kind p ⇔ q. For example, ABC is an equilateral triangle AB = BC = CA.

For brevity, the phrase ‘if and only if’ is shortened to “iff”. As described above, the symbols ∧ and ∨  stand for the words ‘and’ and ‘or’ respectively. The disjunction symbol ∨ is used in the logical sense ‘or’. The symbols ∧, ∨ are logical connectives and are frequently used.

The following is the table showing truth values of different compositions of statements. Such tables are called truth tables.

By forming truth tables, the equivalence of various statements can easily be ascertained. For example, we shall easily see that the implication ‘p ⇒ q’ is equivalent to ‘∼p ⇒ ∼q’. The implication ‘∼q ⇒ ∼p’ is called the contrapositive of p ⇒ q.

Read Also: Pigeon Hole Principle Mathematical Preliminaries Part 3

Example:

Question: Consider the statement, Given that people who are in need of refuge and consolation are apt to do odd things, it is clear that people who are apt to do odd things are in need of refuge and consolation. This statement, of the form (P ⇒ Q) ⇒ (Q ⇒ P) is logically equivalent to people

1. who are in need of refuge and consolidation are not apt to do odd things
2. that are apt to do odd things if and only if they are in need of refuge and consolidation
3. who are apt to do odd things are in need of refuge and consolidation
4. who are in need of refuge and consolidation are apt to do odd things

Solution: Option 3. People who are apt to do odd things are in need of refuge and consolidation. Given statement is “people who are in need of refuge and consolation are apt to do odd things”. It is in the form of p where p is “in need of refuge and consolation” and q is “apt to do odd things”.