الاستدلال بالاستلزام المضاد للعكس من درس مبادئ في المنطق > استدلالات رياضية

الاستدلال بالاستلزام المضاد للعكس

مثال :

لتكن f دالة عددية تزايدية على مجال I، وa و b عنصرين من I.

لنبين أن f(a)<f(b) ð a<b : يجب ان نبين أن a≥b ð f(a) ≥f(b)

وبما أن f دالة عددية تزايدية على I فان a≥b ð f(a) ≥f(b) اذن حسب الاستدلال بالاستلزام المضاد للعكس فإن f(a)<f(b) ð a<b