Matematika

Mulohazalar hisobi formulasi tushunchasi

Har qanday hisobning tafsili bu hisobning simvollari tafsilidan, formulalar va keltirib chiqarish formulalari ta’rifidan iborat.

Mulohazalar hisobida uch kategoriyali simvollardan iborat alfavit qabul qilinadi:

Birinchi kategoriya simvollari: x,y,z…. Bu simvollarni

o’zgaruvchilar deb ataymiz.

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.