# Mathematical Statements

__Mathematical Statement__:

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, letter ‘** p**’ may be used to stand for the statement “

**is an equilateral triangle.” Thus,**

*ABC***is an equilateral triangle.**

*p = ABC*__Truth Value of a Statement__:

A statement is said to have truth value ** T **or

**according as the statement considered is true or false. For example, the statement ‘**

*F***2 plus 2 is four**’ has truth value

*T**,*whereas, the statement ‘

**2 plus 2 is five**’ has truth value

*F**.*The knowledge of truth value of statements enables to replace one statement by some other (equivalent) statement(s).

__Production of New Statement__:

New statements from given statements can be produced by

**(i) Negation:**

If

**is a statement then its negation ‘**

*p***’ is statement ‘**

*p***not p**’. ‘

**’ has truth value**

*p***or**

*F***according as the truth value of ‘**

*T***’ is**

*p***or**

*T***.**

*F***(ii) Implication:**

If from a statement

**another statement**

*p***follows, we say ‘**

*q***p implies q**’ and write ‘

**’. Such a result is called an implication. The truth value of ‘**

*p**q***’ is**

*p**q***only when**

*F***has truth value**

*p***and**

*T***has the truth value**

*q***.**

*F*The statements involving ‘

**if p holds then q**’ are of the kind

**. For example, .**

*p**q***(iii) Conjunction:**

**The sentence ‘**

**p and q**’ which may be denoted by ‘

**’ is the conjunction of**

*p**q***and**

*p***. Truth value of**

*q***is T only when both**

*p**q***and**

*p***are true.**

*q***(iv) Disjunction:**

The sentence ‘

**p and q (or both)**’ which may be denoted by ‘

**’ is called the disjunction of the statements**

*p**q***and**

*p***. Truth value of**

*q***is F only when both**

*p**q***and**

*p***are false.**

*q*__Equivalence of Two Statements__, *p**q*:

Two statements ** p** and

**are said to be**

*q***equivalent**if one implies the other and in such a case using the double implication symbol,, we 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 ** pq**. For example,

**is an equilateral triangle**

*ABC***.**

*AB**= BC = CA*For brevity, the phrase ‘**if and only if**’ is shortened to “**iff**”. As described above, the symbols stand for the words ‘**and**’, ‘**or**’ respectively. Disjunction symbol is used in the logical sense ‘**and/or**’. The symbols, and are logical connectives and are frequently used.

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

p |
q |
p |
q |
pq |
pq |
pq |
pq |

T |
T |
F |
F |
T |
T |
T |
T |

T |
F |
F |
T |
F |
F |
T |
F |

F |
T |
T |
F |
T |
F |
T |
F |

F |
F |
T |
T |
T |
F |
F |
T |

By forming truth tables equivalence of various statements can easily be ascertained. For example, we shall easily see that the implication ‘** pq**’ is equivalent to ‘

**’. The implication ‘**

*p**q***’ is called contra positive of**

*q**p***.**

*p**q*