Бақылау сұрақтары: 1. Пікірлер есептелімінің фомулаларын және символдарын атаңыз.
2. Пікірлер есептелімінің қандай аксиомаларын білесіз?
3. Қорыту ережелерін атаңыз.
4. Дедукция теоремасын және оның салдардарын айтыңыз.
5. Тавталогиялардың қорытылуы туралы теореманы айтыңыз.
15 тақырып Предикаттар логикасы Мақсаты: 1. Предикаттар түснігін енгізу.
2. Предикаттар кластарын және қасиеттерін қарастыру, олардың өзара байланысы.
3. Предикаттарға қолданылатын кванторлық операцияларды енгізу.
4. Предикаттарға амалдар қолданудағы біліктілік пен дағдыны қалыптастыру.
Жоспар: Предикаттар.
