Mantiqiy qiymatlar, amallar, ifodalar

Mantiqning asosiy tushunchalari: bayon, mantiqiy qiymat, mantiqiy amallar, mantiqiy ifodalar va formulalar.
Bayonot (hukm)- Bu deklarativ jumla bo'lib, unda biror narsa tasdiqlanadi yoki rad etiladi. Har qanday bayonotni to'g'ri yoki yolg'on deb aytish mumkin.
Masalan, “Tashqarida yomg‘ir yog‘yapti” degan gap ayni paytdagi ob-havoning holatiga qarab to‘g‘ri yoki yolg‘on bo‘ladi. Tengsizlik ko'rinishida yozilgan "A qiymati B dan katta" bayonotining haqiqati: A > B, A va B o'zgaruvchilari qiymatlariga bog'liq bo'ladi.
Mantiqiy qiymatlar- so`zlari bilan ifodalangan tushunchalar: ROG`LIQ, YOLG`ON (to`g`ri, yolg`on). Binobarin, gaplarning haqiqati mantiqiy miqdorlar orqali ifodalanadi.
Mantiqiy doimiy: To'g'ri yoki noto'g'ri.
Mantiqiy o'zgaruvchi: ramziy ma'noda mantiqiy qiymat. Shuning uchun, agar A, B, X, Y va boshqalar o'zgaruvchan mantiqiy qiymatlar ekanligi ma'lum bo'lsa, demak, ular faqat TRUE yoki FALSE qiymatlarini olishlari mumkin.
mantiqiy ifoda- oddiy yoki qo'shma gap. Mantiqiy amallar (bog'lanishlar) yordamida oddiylardan murakkab gap tuziladi.
Mantiqiy operatsiyalar
Bog'lanish (mantiqiy ko'paytirish). Rus tilida AND ittifoqi bilan ifodalanadi.Matematik mantiqda & yoki ∧ belgilari ishlatiladi. Birlashma ikki joyli operatsiya; quyidagicha yoziladi: A & B. Operandlardan kamida bittasining qiymati noto'g'ri bo'lsa, bunday ifodaning qiymati FALSE bo'ladi.
Diszyunksiya (mantiqiy qo‘shish). Rus tilida bu to'plam OR ittifoqiga mos keladi. Matematik mantiqda u belgi bilan belgilanadi v. Diszyunksiya ikki joyli operatsiya hisoblanadi; quyidagicha yoziladi: A v B. Operandlardan kamida bittasining qiymati rost bo'lsa, bunday ifodaning qiymati TRUE bo'ladi.
Inkor qilish. Rus tilida bu to'plam NO zarrachasiga to'g'ri keladi (ba'zi iboralarda "bu haqiqat emas ..." iborasi ishlatiladi). Inkor qilish – unar (bir joyli) amal; quyidagicha yoziladi: ¬ A yoki Ā.
Ko'rib chiqilayotgan mantiqiy amallarni bajarish qoidalari quyidagi jadvalda aks ettirilgan, u mantiqiy amallarning haqiqat jadvali deb ataladi (bu erda AND "to'g'ri", L - "noto'g'ri" degan ma'noni anglatadi):