Выяснить, к какому классу относится заданная формула. Правилом замены эквивалентным не пользоваться. $$\exists x \exists y(P(x) \& ¬ P(y))$$

задан 9 Фев '18 15:22

изменен 9 Фев '18 15:34

Очевидно, что данная формула может быть истинной в каких-то интерпретациях. Самое простое: предметная область Z; свойство P -- "быть чётным". Ясно, что существуют как чётные, так и нечётные числа.

Если взять произвольное множество, и в качестве P взять свойство, которым обладают все его элементы (например, x=x), то формула в такой интерпретации станет ложной (не найдётся "игрека"). То есть формула относится к самому широкому классу "обычных" формул, которые иногда истинны, а иногда ложны. То есть не являются ни тавтологиями, ни противоречиями. (Все они при этом выполнимы.)

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

Ваш ответ

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

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

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

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

отмечен:

×888

задан
9 Фев '18 15:22

показан
205 раз

обновлен
9 Фев '18 19:50

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

по почте:

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

по RSS:

Ответы

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

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