What rule is the following?

p → q

p       

  ∴  q      

Modus Ponens

(period...)

What rule is the following?

p → q

¬q     

∴ ¬p  

Modus Tollens

(topsy turvy)

What rule is the following?

 p                                   q 

       ∴ p ∨ q                         ∴p ∨ q

Generalization

What rule is the following?

p ∧ q                         p ∧ q 

∴ p                            ∴ q     

Specialization

What rule is the following?

         p ∨ q                          p ∨ q

     ¬ q                             ¬ p

     ∴ p                             ∴ q

Elimination

What rule is the following?

p → q

q → r

∴ p → r   

Transitivity

What rule is the following?

p ∨ q

p → r

q → r

∴ r    

Division into Case

What rule is the following?

p → q

q       

∴ p       

Converse Error

What rule is the following?

p → q

¬ p          

∴ ¬ q       

Inverse Error