5. Məntiq cəbrinin düsturları. İkilik qanunu. Bul cəbri
Elementar mülahizələrdən onların inkarı, konyunksiyası, dizyunksiyası, implikasiyası və ekvivalensiyası vasitəsi ilə yeni mürəkkəb mülahizə alınmasını şərtləndirən yazılış mən- tiqlər cəbrinin düsturu (yaxud formulası) adlanır. Burada iştirak edən və 1(dogru), 0(yalan) kimi iki sərbəst məntiqi qiymətlər alan elementar mülahizələr isə bu düsturun sərbəst dəyi- şənləri (arqumentləri) adlanırlar.
Məntiq cəbrinin düsturlarını gələcəkdə latın əlifbasının böyük hərfləri ilə işarə edəcəyik:
A, B, C,…,X, Y,Z,….
Yazılışın sadəliyinə görə aşağıdakı hallarda mötərizələrin yazılmaması üçün şərtləşmələr qəbul edilmişdir:
konyunksiya qalan əməliyyatlardan əvvəl yerinə yetirildikdə
dizyunksiya implikasiyadan və ekvivalensiyadan əvvəl yerinə yetirildikdə
düsturların üzərində inkar işarəsi olduqda.
Dostları ilə paylaş: |
