Müddəalar məntiqi.
MKNF
Deduksiya termini
Müddəalar məntiqinin inkar məntiq əməli
Müddəalar məntiqində elementar cəm və onun doğruluğu haqqında teorem
Predikat anlayışı
^ əməli
Düsturun KNF-si
Predikatlar üzərində məntiq əməli
Ikili qanun
İkilik qanunu: Riyazi məntiqdə f əməlinin (funksiyasının) doğruluq cədvəlində hər yerdə 0 və 1 ədədlərini uyğun olaraq 1 və 0 ədədləri ilə əvəz etməklə əməlinin (funksiyasının) doğruluq cədvəli alınarsa, onda əməli f əməli üçün ikili əməl adlandırılır. Məsələn, konyunksiya əməli dizyunksiya üçün, dizyunksiya əməli isə konyunksiya üçün ikili əməldir, inkar əməli özü üçün ikili əməldir, simvolik olaraq 1 və 0 kimi işarə olunan ED və EY əməlləri bir-biri üçün ikili əməllərdirlər.
Alqoritm anlayışı
Eyni güclü düsturlar
Ekvivalensiya əməli
Bir məntiq əməliyyatını digəri ilə ifadə edən eyniliklər
Predikat. Mən. Düstur anlayışı
Taftologiya və ziddiyət
Məntiq cəbrinin ixtiyari düstr MDNF-yə gətrilmə qaydası
Kanduksi əməliyyatı
Məntiq cəbrinin funksiyaları
Norm form düsturlar
Inplikasiya
Ikili dwsturlar
Məntiq cəbrinin əsas qanunlarını ifadə edən eyniliklər
Kvantor
Düsturların yazılmasında ( ) işlədilməsi
Predikat məntiq düstur anlayışı
Mülahizələr hesabı
Mülahizə dedikdə zaman və məkanın verilmiş şərtində doğru, yaxud yalan ola biləcək bir fikri ifadə edən nəqli cümlə başa düşülür. Mulahizələr doğru, yaxud yalan kimi məntiqi qiymətlər alır. Məsələn, “2x2=4”, yaxud, “Bakı şəhəri Azərbaycan Respublikasının paytaxtıdır” cümlələri mülahizələrdirlər, “Saat neçədir?”, yaxud “6x2+14x+22=0 tənliyini həll edin.” cümlələri isə mülahizə deyildir. Mülahizələr doğru, yaxud yalan kimi məntiqi qiymətlərdən yalnız birini alır, yəni, heç bir mülahizə eyni zamanda həm doğru, həm də yalan kimi məntiqi qiymətlər ala bilməz. Eyni bir mülahizə zaman və məkanın verilmiş şərtindən asili olaraq doğru, yaxud yalan kimi məntiqi qiymətlərin hər birini (lakin hər ikisini eyni zamanda olmamaqla) ala bilər.
Taftologiya və müddəalar məntiqi qanunları
V... dizuksiya
Kvantor əməliyyatlar. Ümumilik kvantoru
ekvivalensiya
MKNF
Həll edilmə probleminin qruluşu
Ikili düsturlar
Varlıq kvantoru
Konyuksiya
Eyniliyin doğruluğu haqqında teorem
Müddəalar məntiqində elementar hasil
Mülahizə anlayışıı
Mülahizə dedikdə zaman və məkanın verilmiş şərtində doğru, yaxud yalan ola biləcək bir fikri ifadə edən nəqli cümlə başa düşülür. Mulahizələr doğru, yaxud yalan kimi məntiqi qiymətlər alır. Məsələn, “2x2=4”, yaxud, “Bakı şəhəri Azərbaycan Respublikasının paytaxtıdır” cümlələri mülahizələrdirlər, “Saat neçədir?”, yaxud “6x2+14x+22=0 tənliyini həll edin.” cümlələri isə mülahizə deyildir. Mülahizələr doğru, yaxud yalan kimi məntiqi qiymətlərdən yalnız birini alır, yəni, heç bir mülahizə eyni zamanda həm doğru, həm də yalan kimi məntiqi qiymətlər ala bilməz. Eyni bir mülahizə zaman və məkanın verilmiş şərtindən asili olaraq doğru, yaxud yalan kimi məntiqi qiymətlərin hər birini (lakin hər ikisini eyni zamanda olmamaqla) ala bilər.
Müddəalar məntiqində aksiomlar sistemi
Kvantor əməliyyatı
MKNf-lər
Bir əm
-- inplikasiya
Konyuksiya
Aksiomlar sistemi üzərində tələblər
Deduksiya termini
Düsturu MKNF-yə gətirmə
Həll olunma problemi
Müddalar məntiqində V əməli( dizyukssiya )
Düsturu MDNF-yə gətriloməsi
Predikatlar məntiqi
Müddəalar hesabı üçün formal aksiomatik EL nəzəriyyəsi
Verilmiş şərtlərdən hə alınmasının xassələri
Inkar əməli
Eyni güclü düsturlar
MNF-li düsturlar
Predikatlar məntiqi
V məntiqi əməli
Ekvivalensiya
Normal formalar
Tərif 10.1. Əgər F düsturu (1) mülahizələr sistemindən düzəldilmiş elemendar dizyunksiyaların konyunksiyaları olarsa, onda bu düstur (1) mülahizələr sisteminin konyunktiv normal forması (KNF) adlanır.
: əgər (1) mülahizələr sisteminin F düsturuna uyğun olan ikili F* düsturu KNF olarsa, onda F düsturu bu dəyişənlər sisteminin DNF-sı adlanır.
İsbat etmək olar ki, hər bir F məntiqi düsturu üçün ona ekvivalent olan KNF və DNF vardır.
MNF, Knf
Predikatlar mənriqində həqiqi mənalı düsturlar
Tyuring alqoritmi
Kvantor əməliyyatları
Düsturların növləri
=_ düstur
Məntiq əməlində eynigüclü predikatlar
Mülahizə anlayışı
Mülahizə dedikdə zaman və məkanın verilmiş şərtində doğru, yaxud yalan ola biləcək bir fikri ifadə edən nəqli cümlə başa düşülür. Mulahizələr doğru, yaxud yalan kimi məntiqi qiymətlər alır. Məsələn, “2x2=4”, yaxud, “Bakı şəhəri Azərbaycan Respublikasının paytaxtıdır” cümlələri mülahizələrdirlər, “Saat neçədir?”, yaxud “6x2+14x+22=0 tənliyini həll edin.” cümlələri isə mülahizə deyildir. Mülahizələr doğru, yaxud yalan kimi məntiqi qiymətlərdən yalnız birini alır, yəni, heç bir mülahizə eyni zamanda həm doğru, həm də yalan kimi məntiqi qiymətlər ala bilməz. Eyni bir mülahizə zaman və məkanın verilmiş şərtindən asili olaraq doğru, yaxud yalan kimi məntiqi qiymətlərin hər birini (lakin hər ikisini eyni zamanda olmamaqla) ala bilər.
Ikili düsturlar
Tərif . Əgər А* düsturu A düsturundan, ondakı əməlləri ikili əməllərə keçməklə alınırsa, onda A və А* düsturları ikili düsturlar adlanırlar.
İkili düsturlar üçün aşağıdakı ikilik qanunu doğrudur:
Düddəalar məntiqi
Normal misallar
Taftologiyaya aid misallar
Hiz
Dostları ilə paylaş: |
