Выяснить, к какому классу (общезначимых, выполнимых, опровержимых, противоречий) относится заданная формула. Правилом замены эквивалентным не пользоваться.

$% \forall x \exists y P(x, y)\supset \exists x \exists y P(x, y) $%

задан 5 Мар '18 12:30

Это совсем лёгкий пример -- формула общезначимая (и тем более, выполнимая). Если в какой-то интерпретации посылка формулы истинна, то заключение тоже истинно. Достаточно в качестве значения x взять любой элемент x0 предметной области. Для него существует подходящее значение y=y0.

(5 Мар '18 17:13) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×888

задан
5 Мар '18 12:30

показан
394 раза

обновлен
5 Мар '18 17:13

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru