8. Емтиханға дайындалуға арналған сұрақтар мен тапсырмалар тізімі
1. Төмендегі модельдердің қайсысында N2 Пеано аксиомасы орындалмайды?
А. <{,,}, {<,>, <,>, <,>}>
N2 ) аксиомасы орындалмайды, себебі e роліндегі элемент жоқ.
2. Төмендегі модельдердің қайсысында N3 Пеано аксиомасы орындалмайды?
В. <{,,,}, {<,>, <,>, <,>, <,>}>
N ) аксиомасы орындалмайды, себебі элементі әртүрлі екі элементтен
кейін келіп тұр, яғни ' = ' бірақ ≠ .
3 Аксиоматикалық теория неше түрге бөлінеді?
Қорыту ережелеріне байланысты аксиоматикалық теория 2 түрге бөлінеді:
Формальды аксиоматикалық теория
Мазмұнды аксиоматикалық теория
4 Аксиоматикалық теория қай уақытта формальды теория деп аталады?
Анықтама. Егер аксиоматикалық теорияда қорыту ережелері дәл көрсетілген болса (яғни, солардан басқа ережелерді қолдануға болмайды), онда теория формальды аксиоматикалық теория деп аталады.
Формальды аксиоматикалық теорияға математикалық логика курсындағы
пікірлік есептеулер теориясы мысал бола алады.
Достарыңызбен бөлісу: |
