Təkliflər hesabı
Naviqasiyaya keçin
Axtarışa keçin
Bu məqaləni vikiləşdirmək lazımdır. |
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.
Ədəbiyyat[redaktə | mənbəni redaktə et]
1. M.Mərdanov, S.Mirzəyev, Ş. Sadıqov Məktəblinin riyaziyyatdan izahlı lüğəti. Bakı 2016, "Radius nəşriyyatı", 296 səh.
2. "Azərbaycan Sovet Ensklopediyası" I–X cild, Bakı 1976–1987.