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

Leave a Reply

Please leave these two fields as-is:

Protected by Invisible Defender. Showed 403 to 140,778 bad guys.