İndi bütün müddəaları və düsturları “düzgün” və ya “yalan” qiymətləri alan məlum ikiqiymətli məntiqi qeyri-səlis məntiqə ümumiləşdirək. Aşağıda baxacağımız xüsusi qeyri-səlis məntiqdə müddəanın və ya düsturun düzgünlük qiyməti [0,1]-də ixtiyari qiymət ala bilər. Tutaq ki, dən alan qiymətli dəyişənlərdir.Aşağıdakı işarələrdən istifadə edəcəyik: ˥ -inkar -dizyunksiya -konyunksiya Qeyri-səlis düstur elə funksiyanı təyin edir ki,o -dən -ə təsir göstərir.Qeyri-səlis düsturu aşağıdakı qaydaların köməyi ilə təyin edək: a)0 və 1 ədədləri qeyri-səlis düsturdur; b) qeyri-səlis dəyişənləri qeyri-səlis düsturdur; c)Əgər ¦-qeyri-səlis düsturdursa,onda ˥¦–qeyri-səlis düsturdur. d)Əgər və qeyri-səlis düsturdursa,onda Ù və Ú qeyri-səlis düsturlardır. e)Başqa düstur yoxdur. Qeyri-səlis düsturlar məntiqi funksiyaların strukturunun ümumiləşməsidir.Ona görə ki,axırıncıların bütün aksiomlarını ödəyir,əlavə haqqında qanundan başqa,yəni, ¦Ù˥¦ və Ù . Beləliklə,qeyri-səlis düsturlar psevdo əlavə ilə distributiv struktur yaradırlar. Təklif 1. Qeyri-səlis düstur ümumi əhəmiyyətli adlanır(ziddiyyətli).Əgər düsturunun bütün dəyişənləri qeyri ümumi əhəmiyyətlidir(ziddiyyətsiz).Əgər o,ümumi əhəmiyyətli(ziddiyyətli) deyilsə, Ümumiyyətli düstur misalları gətirək: a)¦= Ú˥ düsturuna baxaq,onda
1
B eləliklə, və ümumi əhəmiyyətlidir(şəkil 1). 0,5
b ) = Ù˥ düsturuna baxaq,onda
0 0,5
şəkil 1
Beləliklə, və ziddiyyətlidir(şəkil 2).
1 0,5
0 0,5 1
şəkil 2.
