![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
4.3.1 Мета занять
Ознайомитися з аксіоматикою числення предикатів, основними властивостями теорій першого порядку.
4.3.2 Методичні вказівки з організації самостійної роботи роботи студентів
При вивченні теоретичного матеріалу зверніть увагу на те, що ЧВ дозволяє доводити теореми для внутрішніх потреб логіки, а ЧП дозволяє описувати і доводити теореми для конкретних областей математики. Крім математики, ЛП дозволяє формулювати співвідношення між елементами реального миру та виводити подібні відношення як теореми у математиці. Як і в ЧВ, у ЧП розглядаються аксіоматичні системи та системи природного виведенння. Використовуйте конспект лекцій та літературу: [1; 4, с. 90-98; 7, с. 228-238; 8; 9, с. 197-209].
Розглянемо числення предикатів першого порядку К, яке визначається аксіоматичним шляхом. Аксіоми поділяються на два класи: логічні аксіоми і власні аксіоми. Логічні аксіоми: для будь-яких А, В, С Î К формули
(П1)
(П2)
(П3)
(П4) "хi А(хi) ® А(t), де А(хi) є формула із К і t є терм із К, вільний для хi в А(хi);
(П5) "хi (А ® В) ® (А ® "хi В), якщо формула А не включає вільних входжень хi, є аксіомами числення К.
Дата публикования: 2015-04-07; Прочитано: 382 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!