Deductive reasoning, unlike inductive reasoning, is a valid form of proof. It is, in fact, the way in which geometric proofs are written. Deductive reasoning is the process by which a person makes conclusions based on previously known facts.

Deductive reasoning uses facts, definitions, and accepted properties in a logical order to write a logical statement.

Conditional statements can be written using symbolic notation, where p represents the hypothesis, q represents the conclusion, and ̆ is read as “implies.”

Here are some examples.

This conditional statement can be written symbolically as follows :

If p, then q or p -> q

To form the converse of an “If p, then q” statement, simply switch p and q.

The converse can be written symbolically as follows :

If q, then p or q -> p

A biconditional statement can be written using symbolic notation as follows :

If p, then q and if q, then p or p <-> q

Most often a biconditional statement is written in this form :

p if and only if q.

The following examples show how inductive and deductive reasoning differ.

(i) Lily knows that John is a sophomore and Michael is a junior. All the other juniors that Lily knows are older than John. Therefore, Lily reasons inductively that Michael is older than John based on past observations.

(ii) Lily knows that Michael is older than Chan. She also knows that Chan is older than John. Lily reasons deductively that Michael is older than John based on accepted statements

(i) Law of detachment

(ii) Law of syllogism

**Law of Detachment : **

If p -> q is a true conditional statement and p is true, then q is true.

**Law of Syllogism : **

If p -> q and q -> p are true conditional statements, p->q is true.

**Example 1 : **

Let p be "the value of x is -5" and let q be "the absolute value of x is 5".

(i) Write p -> q in words.

(ii) Write q -> p in words.

(iii) Decide whether the biconditional statement p <-> q is true.

**Solution : **

(i) If the value of x is -5, then the absolute value of x is 5.

(ii) If the absolute value of x is 5, then the value of x is -5.

(iii) The conditional statement in part (a) is true, but its converse in part (b) is false. So, the biconditional statement p <-> q is false.

**Example 2 :**

Write the following statements using symbols.

(i) ∠A measures 30°

(ii) ∠A does not measure 30°

**Solution : **

**Statement**

∠A measures 30°

**Symbol**

p

**Negation**

∠A does not measure 30°

**Symbol**

∼ p

**Example 3 :**

Let p be "it is raining" and let q be "the cricket match is cancelled".

(i) Write the contrapositive of p -> q.

(ii) Write the inverse of p -> q.

**Solution : **

(i) Contrapositive : ∼ q -> ∼ p

If the the cricket match is not cancelled, then it is not raining.

(i) Inverse : ∼ p -> ∼ q

If it is not raining, then the cricket match is not cancelled.

**Example 4 :**

State whether the argument is valid.

Michael knows that if he misses the practice the day before a game, then he will not be a starting player in the game. Michael misses practice on Tuesday so he concludes that he will not be able to start in the game on Wednesday.

**Solution : **

This logical argument is a valid use of the Law of Detachment. It is given that both a statement (p -> q) and its hypothesis (p) are true. So it is valid for Michael to conclude that the conclusion is true.

**Example 5 :**

Write some conditional statements that can be made from the following true statements using the Law of Syllogism.

1. If a bird is the fastest bird on land, then it is the largest of all birds.

2. If a bird is the largest of all birds, then it is an ostrich.

3. If a bird is a bee hummingbird, then it is the smallest of all birds.

4. If a bird is the largest of all birds, then it is flightless.

5. If a bird is the smallest bird, then it has a nest the size of a walnut half-shell.

**Solution :**

Here are the conditional statements that use the Law of Syllogism.

a. If a bird is the fastest bird on land, then it is an ostrich. (Use 1 and 2.)

b. If a bird is a bee hummingbird, then it has a nest the size of a walnut half-shell. (Use 3 and 5.)

c. If a bird is the fastest bird on land, then it is flightless. (Use 1 and 4.)

Apart from the stuff given above, if you need any other stuff in math, please use our google custom search here.

If you have any feedback about our math content, please mail us :

**v4formath@gmail.com**

We always appreciate your feedback.

You can also visit the following web pages on different stuff in math.

**WORD PROBLEMS**

**Word problems on simple equations **

**Word problems on linear equations **

**Word problems on quadratic equations**

**Area and perimeter word problems**

**Word problems on direct variation and inverse variation **

**Word problems on comparing rates**

**Converting customary units word problems **

**Converting metric units word problems**

**Word problems on simple interest**

**Word problems on compound interest**

**Word problems on types of angles **

**Complementary and supplementary angles word problems**

**Trigonometry word problems**

**Markup and markdown word problems **

**Word problems on mixed fractrions**

**One step equation word problems**

**Linear inequalities word problems**

**Ratio and proportion word problems**

**Word problems on sets and venn diagrams**

**Pythagorean theorem word problems**

**Percent of a number word problems**

**Word problems on constant speed**

**Word problems on average speed **

**Word problems on sum of the angles of a triangle is 180 degree**

**OTHER TOPICS **

**Time, speed and distance shortcuts**

**Ratio and proportion shortcuts**

**Domain and range of rational functions**

**Domain and range of rational functions with holes**

**Graphing rational functions with holes**

**Converting repeating decimals in to fractions**

**Decimal representation of rational numbers**

**Finding square root using long division**

**L.C.M method to solve time and work problems**

**Translating the word problems in to algebraic expressions**

**Remainder when 2 power 256 is divided by 17**

**Remainder when 17 power 23 is divided by 16**

**Sum of all three digit numbers divisible by 6**

**Sum of all three digit numbers divisible by 7**

**Sum of all three digit numbers divisible by 8**

**Sum of all three digit numbers formed using 1, 3, 4**

**Sum of all three four digit numbers formed with non zero digits**