Inference

Sunday, 5 May 2019

6:39 PM

Modus tollens

If p->q and ~q, then ~p

 

Modus ponens

If p->q and p, then q

 

Disjunctive syllogism

If r || ~p is true, and p is true, then r is true

 then