Inference patterns

(Trans) Transitivity

p □→ q, q □→ r, therefore p □→ r

(Contr) Contraposability

p □→ q, therefore ~q □→ ~p

(Stren) Strengthening

p □→ q, therefore (p & r) □→ q

Category: Logic
You can leave a comment or trackback from your own site.

Leave a Reply