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: . 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.
Do'stlaringiz bilan baham: |