# Deductive Logic/Inference Rules

## Inference RulesEdit

A number of valid argument schemas are useful for drawing conclusions from the premises. These are called *inference rules*. Inference rules preserve truth—if the premises are true, the conclusions must also be true. These rules of inference can be written in the following standard form:

Premise 1 Premise 2

Premise #n

…Conclusion

For example, the inference rule known as *modus ponens* is written as:

p→qp

q

And can be read as: if *p* then *q*, and *p* imply (therefore) *q*.

Several valid rules of inference will be introduced, including the name, form, and example for each.

### Modus PonensEdit

(affirming the antecedent)

p→qp

q

If it is Saturday, then I will wash my car. It is Saturday, therefore I will wash my car.

A common fallacy of modus ponens is *affirming the consequent*. This has the general form of asserting *q* and then concluding *p* from the premise p→q. In the above example, knowing that I will wash my car it is invalid to conclude that it is Saturday, because I may wash my car on other days as well.

### Modus TollensEdit

(denying the consequent)

p→q

¬q¬

p

If it is Saturday, then I will wash my car. I am not washing my car, therefore it is not Saturday.

A common fallacy of modes tollens is *denying the antecedent*. This has the general form of denying *p* and then concluding ¬ *q*. In the above example, knowing that it is not Saturday it is invalid to conclude that I am not washing my car, because I may wash my car on other days as well.

### ConjunctionEdit

pq

p•q

Today is Saturday. It is raining. Therefore it is Saturday and it is raining.

### AdditionEdit

p

p∨q

It is Saturday. Therefore it is Saturday or pigs fly.

### SimplificationEdit

p•q

p

It is Saturday and it is raining. Therefore, it is Saturday.

### EliminationEdit

p∨q

¬p

q

Pigs can fly, or it is Saturday. Pigs cannot fly. Therefore it is Saturday.

### TransitivityEdit

p→qq→r

p→r

If today is Saturday, then I will wash my car. If I wash my car, then my car will shine. Therefore if today is Saturday then my car will shine.

### Constructive DilemmaEdit

p→q

r→sp∨r

q∨s

If it is Saturday, then I will wash my car. If it rains, I will use an umbrella. Either it is Saturday, or it is raining. Therefore, either I am washing my car or I will use an umbrella.

### Destructive DilemmaEdit

p→q¬

r→sq∨ ¬s¬

p∨ ¬r

If it is Saturday, then I will wash my car. If it rains, I will use an umbrella. I am not washing my car or I am not using an umbrella. Therefore, it is not Saturday, or it is not raining.