Mühazirələr Orta İxtisas Təhsil müəssisələrində fənnin tədrisi üçün nəzərdə tutulub

Əksini fərz etmə metodu ilə teoremlərin isbatı:

Əksini fərz etmə metodu ilə teoremlərin isbat olunması adətən aşağıdakı sxem üzrə aparılır: fərz olunur ki,

x  E[P(x)  Q(x)]

(1)

teoremi doğru deyildir, yəni elə x obyekti var ki, P(x) şərti doğrudur, Q(x) nəticəsi isə doğru deyildir. Əgər bu fərziyyələrdən məntiqi mühakimələr bvasitəsi ilə ziddiyyətli hökm alınırsa, onda belə nəticə çıxarılır ki, əvvəlcədən qəbul etdiyimiz əks fərziyyə doğru deyilmiş, və teorem (1) doğrudur.

Bu yanaşma (1) teoreminin doğru olmasını isbat edir. Doğrudan da, (1) teoreminin

doğru olmaması, onun inkarının doğru olmasını bildirir, yəni

x  E[P(x)  Q(x)]

düsturu doğrudur. Muəyyən məntiqi mühakimələr isə

x  E[P(x)  Q(x)] _düsturunun

dogru olmadığı obyektlərin olmamasını hökm edir. Beləliklə, məsələ


C  C  A_,

şəklində düsturun dogru olduğu obyektlərin varlığına gətirilir ki, bu da istənilən С üçün həmişə doğru olmayan, yəni yalan düsturdur.