Modus Ponens

 

 

Modus Tollens

 

Disjunctive Syllogism

 

Hypothetical Syllogism

 

 

 

Excluded Middle

 

Either Way