Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Определение 1. Две формулы, и логики предикатов называются равносильными на множестве М, если при любой подстановке в эти формулы вместо предикатных переменных любых конкретных предикатов, определенных на М, формулы превращаются в равносильные предикаты. Если две формулы равносильны на любых множествах, то их будем называть просто равносильными. Равносильность формул будем обозначать так: .
Приведем пример двух неравносильных формул логики предикатов. Покажем, что . В самом деле, подставим вместо предикатных переменных и конкретные предикаты и , определенные на множестве N. Тогда левая формула превратится в высказывание (нульместный предикат) «каждое натуральное число либо нечетно, либо четно», которое истинно. Правая формула превращается в высказывание (нульместный предикат) «либо каждое натуральное число четно, либо каждое натуральное число нечетно», которое ложно.
Как и в алгебре высказываний, в логике предикатов можно заменять одну равносильную формулу другой. Переход от одной равносильной формулы к другой называется равносильным преобразованием исходной формулы. В процессе равносильных преобразований формул логики предикатов могут использоваться равносильности, известные из алгебры высказываний.
Правило подстановки. Если в формуле , содержащей свободную переменную , выполнить всюду подстановку вместо переменной терма , то получим формулу . Этот факт записывают так:
Подстановка называется правильной, если:
1) каждое вхождение переменной заменяется на один и тот же терм;
2) переменная не может быть заменена термом, содержащим ту же самую переменную.
Например,
Это ‑ правильная подстановка, так как вместо свободной переменной можно подставить другую переменную.
Это ‑ правильная подстановка, так как вместо свободной переменной можно подставить функцию.
Подстановка называется неправильной, если в результате подстановки свободная переменная окажется в области действия квантора или связанная переменная будет заменена термом.
Это ‑ неправильная подстановка, так как связанная переменная заменена свободной переменной .
Это ‑ неправильная подстановка, так как свободная переменной заменяется связанной переменной , и предикат попадает в область действия квантора .
Правило эквивалентной замены. Если в формуле , содержащей вхождение некоторой формулы , хотим вместо формулы подставить формулу , причем , то в формуле не обязательно подставлять во все вхождения формулы , можно заменить только некоторые вхождения формулы .
Например, если в формулу хотим подставить вместо эквивалентное выражение , то не обязательно в формуле заменять все вхождения эквивалентным выражением, можно заменить только одно вхождение: .
Пример. Упростить алгебраическое выражение:
.
Решение. Выполним операцию отрицания:
Удалим логическую связку «»:
Выполним операцию отрицания:
Переносим квантор влево:
Дата публикования: 2015-03-26; Прочитано: 1111 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!