Mulohazalar hisobi formulasi

^{Mulohazalar hisobi formulasi}

Mulohazalar hisobi. Mantiqiy bog‘lovchilar. Simvollar. Formula. Qismiy formula.

Isbotlanuvchi formula. Aksioma.

Mulohazalar hisobining simvollari. Har qanday hisobning tafsifi bu hisobning simvollari tafsifidan, formulalar va keltirib chiqarish formulalari ta‟rifidan iborat.

Mulohazalar hisobida uch kategoriyali simvollardan iborat alifbo qabul qilinadi.

Birinchi kategoriya simvollari:

o„zgaruvchilar deb ataymiz.

x, y, z,..., x₁ , x₂ ,... . Bu simvollarni

Ikkinchi kategoriya simvollari:  ,  , ^ ,  . Bular mantiqiy bog‘lovchilardir. Birinchisi – diz‟yunksiya yoki mantiqiy qo„shish belgisi, ikkinchisi – kon‟yunksiya yoki mantiqiy ko„paytma belgisi, uchinchisi – implikasiya belgisi va to„rtinchisi – inkor belgisi deb ataladi.