« Предыдущий вопрос
Исчисление предикатов. Алгебра предикатов. Основные логические операции.

Пусть дан алфавит T = T1  T2  T3  T4  T5  T6  T7, где T1 = {x; y; z; …} – предметные переменны

Загрузка
Скачать Получить на телефон
например +79131234567

txt fb2 ePub html

на телефон придет ссылка на файл выбранного формата

Что это

Шпаргалки на телефон — незаменимая вещь при сдаче экзаменов, подготовке к контрольным работам и т.д. Благодаря нашему сервису вы получаете возможность скачать на телефон шпаргалки по математической логике. Все шпаргалки представлены в популярных форматах fb2, txt, ePub , html, а также существует версия java шпаргалки в виде удобного приложения для мобильного телефона, которые можно скачать за символическую плату. Достаточно скачать шпаргалки по математической логике — и никакой экзамен вам не страшен!

Сообщество

Не нашли что искали?

Если вам нужен индивидуальный подбор или работа на заказа — воспользуйтесь этой формой.

Следующий вопрос »
Исчисление предикатов. Принцип резолюции.

Если в результате приведения к виду ПНФ матрица формулы M не будет содержать свободных переменных и

Исчисление предикатов. Основные аксиомы вывода.


Среди множества тождественно истинных формул существует подмножество, являющееся аксиомами исчисления предикатов, облегчающие процесс эквивалентных преобразований в процессе логического вывода.
Ниже приведён набор наиболее распространённых аксиом (правил) для исчисления предикатов:
1) правило обобщения (или введения квантора общности): “если F1(t)  F2(x) – выводимая формула и F1(t) не содержит свободной переменной x, то F1(t)  x(F2(x)) также выводима”
__(F1(t)  F2(x))__
(F1(t)  x(F2(x)))
2) правило удаления квантора общности: “если каждая предметная переменная входит в предикат F(x), то можно ввести терм t, свободный от предметной переменной x, но удовлетворяющий требованиям предиката F(t)”
x(F(x))
F(t)
3) правило конкретизации: “если F1(x)  F2(t) выводимая формула и F2(t) не содержит свободных вхождений x, то x(F1(x)  F2(t)) также выводима”
__F1(x)  F2(t)__
x(F1(x)  F2(t))
4) правила введения квантора существования: “если терм t входит в предикат f(t), то существует по крайней мере одна предметная переменная x, удовлетворяющая требованиям этого предиката F(x)”
__F(t)__
x(F(x))
5) правила смены кванторов
_x(F(x))_ _x(F(x))_
x(F(x)) ; x(F(x))
6) правила переноса кванторов влево (формирование префикса) (их там очень много…)
Приведённый набор правил облегчает эквивалентные преобразования формул в процессе логического вывода.
В исчислении предикатов, как и в исчислении высказываний приняты 3 схемы формального вывода: заключения, теорема и противоречие. Вывод заключения из множества посылок записывается также, как и в исчислении высказываний (см. вопрос 6).