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ı



Yüklə 160,04 Kb.
səhifə32/34
tarix02.01.2022
ölçüsü160,04 Kb.
#47130
növüMühazirə
1   ...   26   27   28   29   30   31   32   33   34
RİYAZİ-MƏNTİQ- (1)

Ə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.


Yüklə 160,04 Kb.

Dostları ilə paylaş:
1   ...   26   27   28   29   30   31   32   33   34




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©azkurs.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin