Reja: Predikat tushunchasi

Mulohazalar hisobi tushunchasi

1- m i s o l .

Formula ta’rifining 1) bandiga ko’ra x, y,z,... o’zgaruvchilarning har biri formula

bo’ladi. U vaqtda ta’rifning 2) bandiga muvofiq (x ˄ y), (x ˅ y),

(x →y) , ham formulalardir. Xuddi shu kabi( ),

ham formulalar bo’ladi.

Quyidagilar formula bo’la olmaydi:

Mulohazalar hisobi tushunchasi

2- t a ’ r i f. Mulohazalar hisobi qismiy formulasi tushunchasi quyidagicha

aniqlanadi:

1) elementar formula uchun faqat uning o‘zi qismiy formuladir;

2) agar formula bo‘lsa, u holda shu formulaning o‘zi, A formula va

A formulaning hamma qismiy formulalari uning qismiy formulalari bo‘ladi;

3) agar formula A*B ko‘rinishda bo‘lsa (bu yerda va bundan keyin *o‘rnida,

simvollardan birortasi bor deb tushunamiz), u holda shu formulaning o‘zi, A va B formulalar hamda A va B formulalarning barcha qismiy

formulalari A*B formulaning qismiy formulalari bo‘ladi.

Mulohazalar hisobi tushunchasi

2- m i s o l . formula uchun:

– nolinchi chuqurlikdagi qismiy formula,

– birinchi chuqurlikdagi qismiy formulalar,

– ikkinchi chuqurlikdagi qismiy formulalar,

y , z – uchinchi chuqurlikdagi qismiy formulalar,

z – to’rtinchi chuqurlikdagi qismiy formula bo’ladi. ■

Mulohazalar hisobi tushunchasi

Formulalarni yozishda ayrim soddalashtirishlarni qabul qilamiz. Xuddi

mulohazalar algebrasidagi kabi qavslar haqidagi kelishuv va mantiqiy amallarni

bajarish imtiyozlari bu yerda ham o„rinli deb hisoblaymiz. Bu kelishuv va

imtiyozlarga binoan,

masalan,

va formulalarni mos ravishda

ko’rinishda yozish mumkin.

XULOSA

Ushbu prezentatsiyada

Predikat tushunchasi, ularning chinlik to’plamini aniqlash,mulohazalar tushunchasi,

mulohazalar hisobining simvollari va mulohazalar hisobining formulasi tushunchasi