Структура исчисления предикатов построение логического вывода

Информация - Математика и статистика

в……………………………………...11

Логическое следование…………………………………11

Закон логики предикатов……………………………….12

Исчисление предикатов………………………………....13

Натуральная система исчисления предикатов………...15

Литература……………………………………………….16

Список литературы

1. Е. К. Войшвилло, М. Г. Дегтярев Логика, Москва, 2001.

2. А.А. Марков, Н. М. Нагорный Теория алгорифмов, Москва, 1984.