Доказать, что следующая формула общезначима (ⱻх) R(x,x)→ (ⱻх) (ⱻy) R(x,y)
Доказать, что следующая формула общезначима (ⱻх) R(x,x)→ (ⱻх) (ⱻy) R(x,y)
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Интересные статьи из справочника
Поможем написать учебную работу
Отвечай на вопросы, зарабатывай баллы и трать их на призы.
Подробнее
Подробнее
Для доказательства того, что данная формула общезначима, приведем доказательство по таблице истинности.
Пусть R(x, x) - это предикат, который истинен только когда x=x (тождественно истинный предикат).
Теперь построим таблицу истинности для формулы:
R(x,x)¬R(x,x)R(x,y)¬R(x,y)R(x,x) → (ⱻy)R(x,y)(ⱻx)R(x,x)→(ⱻx)(ⱻy)R(x,y)ИЛИЛЛИЛИЛИИИИз таблицы видно, что формула общезначима, так как значение истинности выражения (ⱻx)R(x,x)→(ⱻx)(ⱻy)R(x,y) истинно при любых значениях R(x,x) и R(x,y).
Таким образом, данная формула общезначима.