Определение. Формулы Ф и Yравносильны (Ф Y), если:

Формулы Ф и Yравносильны (Ф Y), если:

· множества их свободных переменных совпадают;

· при любом замещении входящих в формулы Ф и Y предикатных символов конкретными предикатами эти формулы переходят либо в один и тот же предикат, либо в высказывания, имеющие одно и то же истинностное значение (последнее – в случае, когда Ф и Y замкнуты, т.е. множества их свободных переменных пусты).

Разумеется, все вхождения одного и того же предикатного символа как в Ф, так и в Y должны замещаться одним и тем же предикатом.

Дата добавления: 2014-01-06