Побудова виводiи в аксiоматичнiй системi З правилом виводу М.Р.

Об'єкт дослідження – Побудова виводів в аксіоматичній системі з правилом виводу М.Р.
Мета роботи – є побудова та вивід формул із в аксіоматичних систем. Довести їх властивість та вихідність.
Метод дослідження – Застосування різних методів побудови різницевих схем.

Вступ……………………………………………………………………………………...5
1. Аксіоматична система та логіка висловів.……………………….............………...6
1.1. Аксіоматизація логіки.………………………………………....………………….6
1.2 Аксіоми і правила виведення числення висловів………...………........................6
1.3.Аксіоматичні системи : висновки і докази. ………………………........................7
2 Логіка предикатів…………..………………………...………....................................9
2.1 Відмітні риси логіки предикатів……………………………....…………………..9
2.2 Закони логіки висловлень і логіки предикатів………………...…......................11
2.3. Основні поняття предикатів……………………………………………………..18
2.4. Числення предикатів. Аксіом і правила виводу методом М.Р………………..21
3 Постановка задачі…………………………………………………………………...26
3.1 Розв’язання задачі………………………………………………………………....26
Висновки……………………………………………………………………………….27
Список використаної літератури……………………………….................................28