Mülahizə üçün mənbəyə bax

{{vikiləşdirmək}}
Hər bir elmin özünə məxsus ilkin anlayışları vardır ki, onlar baxılan nəzəriyyə hüdudları daxilində ciddi məntiqi tərifə malik deyil. Riyazi məntiqin belə anlayışları sırasına “mülahizə”, “məntiq əməlləri”, “predikat” kimi anlayışlar daxildir. Belə anlayışların “tərifi” adi dilin qanunauyğunluqlarından istifadə olunmaqla, obyektin əsas xüsusiyyətlərini ifadə etməklə verilir, yəni anlayış öz xarakterik xüsusiyyətləri ilə təsvir olunur.

'''Tərif 1.''' Mülahizə elə nəqli cümləyə deyilir ki, onun doğru yaxud yalan olduğunu hökm etmək mümkün olsun.

Əlbəttə, nəqli cümlə anlayışı dəqiq tərif olunmadığı üçün onun doğru və ya yalan olması kriteriyası, ümumi halda, intuitiv olaraq müəyyən olunur. Verilən cümlənin doğru olması ona qarşı “<math>D</math>”  doğruluq qiymətinin qarşı qoyulması, yalan oması isə “<math> Y </math>” doğruluq qiymətinin qarşı qoyulması deməkdir. Bəzən bunların yerinə <math>1</math> və <math>0</math> ədədlərindən də istifadə olunur.

'''Misallar.''' 

'''1.''' “Hava buludludursa, deməli yağış yağacaq” cümləsi nəqli cümlədir və təcrübədən bizə məlumdur ki, o yalandır. Buna qörə də bu cümlə mülahizədir.

'''2.''' “<math>3 > 2</math>” mülahizədir, çünki, onun doğru olduğunu hökm edə bilərik.

'''3.''' “<math> x = 2 </math>” mülahizə deyil; <math>x</math> -in nəyi ifadə etdiyi məlum olmadığı üçün onun doğru və ya yalan olduğunu hökm etmək olmaz.

Mülahizələr böyük latın hərfləri ilə işarə olunur. Məsələn, <math>A</math>=“Hava buludludursa, deməli yağış yağacaq”, yaxud <math>B=2 > 3</math>. Mülahizələr üzərində məntiq əməlləri yerinə yetirmək olar.

Məntiq əməlləri bunlardır: ''inkar, konyunksiya, dizyunksiya, implikasiya, ekvivalensiya.''

Bunlardan birincisi ancaq bir mülahizəyə tətbiq olunur. Qalanları isə iki mülahizənin köməyi ilə yeni mülahizə yaratmağa imkan verir. Onların işarələri, uyğun olaraq belədir: <math> \lnot </math>; <math> \land </math>; <math> \lor </math>; <math> \rarr </math>; <math> \harr </math>;                                                            

'''1.''' <math>A</math> mülahizəsinin inkarı <math> \lnot A</math> ( “<math>A</math> deyil”, yaxud “qeyri <math>A</math>” kimi oxunur) kimi işarə olunan elə mülahizəyə deyilir ki, <math>A</math> doğru olduqda o yalan, <math>A</math> yalan olduqda isə o doğru olsun.

Məsələn, <math>B</math>=“<math>2 > 3</math>” mülahizəsi üçün <math> \lnot B</math>=“<math>2 \le 3</math>”. Yaxud, <math>A</math>=“Hava buludludursa, deməli yağış yağacaq” yalan mülahizəsinin inkarı isə <math> \lnot A</math>=“Hava buludlu deyil və yağış yağmayacaq”doğru mülahizəsi qəbul oluna bilər. <math>A</math> və <math> \lnot A</math> mülahizələrinin doğruluq qiymətlərini müəyyənləşdirmək üçün aşağıdakı cədvəldən istifadə etmək olar:


{| class="wikitable"
|- valign="top"
!<math>A</math> || <math> \lnot A</math>
|-
|<math>D</math> || <math>Y</math>
|-
|<math>Y</math> || <math>D</math>
|}

2. <math>A</math> və <math>B</math> mülahizələrinin konyunksiyası <math>A \land B</math> ( “<math>A</math> və <math>B</math>  kimi oxunur) kimi işarə olunan elə yeni mülahizəyə deyilir ki, bu mülahizə yalnız və yalnız hər iki mülahizə doğru olduqda “<math>D</math>” doğruluq qiymətini alsın.

Bu əməlin doğruluq cədvəlini aşağıdakı kimi vermək olar:

{| class="wikitable"
|- valign="top"
!<math>A</math> || <math>B</math> || <math>A \land B</math>
|-
|<math>D</math> || <math>D</math> || <math>D</math>
|-
|<math>D</math> || <math>Y</math> || <math>Y</math>
|-
|-|<math>Y</math> || <math>D</math> || <math>Y</math>
|-
|<math>Y</math> || <math>Y</math> || <math>Y</math>
|}

Bu cədvələ əsasən hökm etmək olar ki, “<math>x=2</math> ədədi

<center><math>x^{2}=4 \land x- 1=0</math></center>

sisteminin köküdür” mülahizəsi yalandır, çünki <math>x</math> -in yerinə <math>2</math> yazdıqda alınan ikinci mülahizə, yəni “<math>2-1=0</math>” mülahizəsi yalandır.

'''3'''. <math>A</math> və <math>B</math> mülahizələrinin dizyunksiyası <math>A \lor B</math> ( “<math>A</math> və ya <math>B</math>” kimi oxunur) kimi işarə olunan elə yeni mülahizəyə deyilir ki, bu mülahizə yalnız və yalnız hər iki mülahizə yalan olduqda “<math>Y</math>” doğruluq qiymətini alsın.

Məsələn, “<math>2 \le 3</math>” mülahizəsi iki mülahizənin dizyunksiyasıdır: “<math>2 \le 3</math>” = “<math>2<3</math>” <math> \land </math> “<math>2=3</math>” (doğrudan da “<math>a \le b</math>” bərabərsizliyi “ <math>a < b</math> və ya <math>a = b</math> ” deməkdir). Tərifdən bilavasitə göründüyü kimi dizyunksiyanın “<math>D</math>” doğruluq qiymətini alması üçün dizyunksiyası götürülən iki mülahizədən heç olmasa birinin “<math>D</math>” doğruluq qiymətini alması kifayətdir. 

Bu əməl üçün aşağıdakı doğruluq cədvəli vermək olar:

{| class="wikitable"
|- valign="top"
!<math>A</math> || <math>B</math> || <math>A \lor B</math>
|-
|<math>D</math> || <math>D</math> || <math>D</math>
|-
|<math>D</math> || <math>Y</math> || <math>D</math>
|-
|-|<math>Y</math> || <math>D</math> || <math>D</math>
|-
|<math>Y</math> || <math>Y</math> || <math>Y</math>
|}

'''4'''. <math>A</math> və <math>B</math> mülahizələrinin implikasiyası <math>A \rarr B</math> (“əgər <math>A</math> isə, onda <math>B</math>” kimi oxunur) kimi işarə olunan elə yeni mülahizəyə deyilir ki, bu mülahizə yalnız və yalnız <math>A</math> doğru və <math>B</math> yalan olduqda “<math>Y</math>” doğruluq qiymətini alsın.

Bu əməl üçün aşağıdakı doğruluq cədvəli vermək olar:

{| class="wikitable"
|- valign="top"
!<math>A</math> || <math>B</math> || <math>A \rarr B</math>
|-
|<math>D</math> || <math>D</math> || <math>D</math>
|-
|<math>D</math> || <math>Y</math> || <math>Y</math>
|-
|-|<math>Y</math> || <math>D</math> || <math>D</math>
|-
|<math>Y</math> || <math>Y</math> || <math>D</math>
|}



'''Isbatı.''' <math>A</math> və <math>A \rarr B</math> mülahizələri doğru olarsa, implikasiyanın doğruluq cədvəlinə əsasən, ancaq cədvəlin birinci sətrinə uyğun olan hal mümkündür, yəni <math>B</math> mülahizəsi də doğrudur. Teorem isbat olundu.

Bu teorem isbat nəzəriyyəsində mühüm rol oynayır. Bu teoremin köməyi ilə biz hər hansı <math>B</math> mülahizəsinin doğruluğunu göstərmək üçün məlum olan <math>A</math> teoremindən başlayırıq. <math>A \rarr B</math> implikasiyasının doğru olduğunu göstərməklə, teoremə əsasən, <math>B</math> mülahizəsini isbat etmiş oluruq. <math>A</math> mülahizəsi implikasiyanın şərti, <math>B</math> mülahizəsi isə onun nəticəsi adlanır.

Bir misala müraciət edək. Tutaq ki, <math>A \rarr B</math> implikasiyası Pifaqor teoremini ifadə edir: əgər <math>MNK</math> üçbucağında <math> \angle N = 90^\circ </math> olarsa, onda <math>MN^2 + NK^2 = MK^2</math> . Hər hansı <math>MNKT</math> düzbucaqlısında <math>A</math> mülahizəsi olaraq <math> \angle N = 90^\circ </math> mülahizəsini götürək. Düzbucaqlının tərifinə görə bu mülahizə doğrudur. Onda, yuxarıdkı teoremə əsasən aşağıdkı doğru təklifi alırıq: düzbucqlının diaqonalının kvadratı onun oturacağı ilə yan tərəfinin kvadratları cəminə bərabərdir.

'''5.''' <math>A</math> və <math>B</math> mülahizələrinin ekvivalensiyası <math>A \harr B</math> (“<math>A</math> və <math>B</math> eynigüclüdür, və ya ekvivalentdir” kimi oxunur) kimi işarə olunan elə yeni mülahizəyə deyilir ki, bu mülahizə yalnız və yalnız <math>A</math> və <math>B</math> eyni doğruluq qiymətlərini aldıqda “<math>D</math>” doğruluq qiymətini alsın.

Bu əməl üçün aşağıdakı doğruluq cədvəli vermək olar.

{| class="wikitable"
|- valign="top"
!<math>A</math> || <math>B</math> || <math>A \harr B</math>
|-
|<math>D</math> || <math>D</math> || <math>D</math>
|-
|<math>D</math> || <math>Y</math> || <math>Y</math>
|-
|-|<math>Y</math> || <math>D</math> || <math>Y</math>
|-
|<math>Y</math> || <math>Y</math> || <math>D</math>
|}

http://www.kitabyurdu.org/kitab/riyaziyyat/875-cebr-i-ii-iii-hisse.html


[[Kateqoriya:Xətti cəbr]]
[[Kateqoriya:Cəbr]]
[[Kateqoriya:Riyaziyyat]]