Matematika

Keltirib chiqarish qoidasi.
H va W mulohazalar hisobining ikkita

formulalar majmuasi bo’lsin. H,W orqali bu majmualarning yig’indisini (birlashmasini) belgilaymiz, ya’ni

H,W H W .

Agar W majmua bitta C formuladan iborat bo’lganda ham H {C}

birlashmani H,C ko’rinishda yozamiz.
Mulohazalar hisobi formulalarini xuddi mulohazalar algebrasi formulalari sifatida qarash mumkin. Buning uchun mulohazalar hisobi o’zgaruvchilariga mulohazalar algebrasi o’zgaruvchilari singari qaraymiz, ya’ni o’zgaruvchilar chin yoki yolg’on (1 yoki 0) qiymat oladi deb hisoblaymiz.

, ,va amallarni mulohazalar algebrasidagiday aniqlaymiz.

Mulohazalar hisobining har bir formulasi, o’zgaruvchilar uning ifodasiga qanday kirishidan qat’iy nazar, 1 yoki 0 qiymat qabul qiladi. Uning qiymati mulohazalar algebrasidagi qoidalar bo’yicha hisoblanadi.