23/06/2017
Təkliflər hesabı – riyazi məntiqin təkliflər üzərində əməlləri öyrənən bölməsidir. Təkliflər üzərində əsas əməllər bunlardır: konyuksiya, dizyunksiya, implikasiya, inkar və s. Sadə təkliflər üzərində bu əməllərin köməyi ilə mürəkkəb təkliflər qurulur.
Təkliflər hesabında mürəkkəb təkliflərin doğruluğuna sadə təkliflərin doğruluğunun funksiyası kimi baxılır.
O cümlədən, nəticə çıxarmaq qaydası, yəni doğru təklifdən düzgün qərar qəbul etmək qaydalarına baxılır. Bu da isbat nəzəriyyəsini analiz etməkdir.
Mənbə: Misir Mərdanov, Sabir Mirzəyev, Şabala Sadıqov, “Məktəblinin riyaziyyatdan izahlı lüğəti” kitabı , Bakı 2016.
© Bütün hüquqlar qorunur. Xəbərlərdən istifadə edərkən www.imm.az saytına istinad zəruridir.