Практическое задание 13


Практическое занятие № 13
Логика предикатов первого порядка
1. Перевести с человеческого языка на формальный. Обратите внимание на то, что предложение может иметь несколько смыслов.
Девочка была одета принцессой.
Мать любит дочь.
2. Продемонстрируйте выполнимость следующей формулы, подобрав реализации, в которых она принимает значение «истина»:
х(Р(х, а) & Р(х, b)).
3. Продемонстрируйте опровержимость этой же самой следующей формулы, подобрав реализации, в которых она принимает значение «ложь».
4. Постройте логические формы умозаключений. С помощью контрпримера продемонстрируйте их некорректность.
Нельзя сказать, что все политики справедливы. Нельзя сказать, что все политики умны. Значит, про какого-то политика можно сказать, что он не справедлив и не умен.
Каждый человек является экстравертом или интровертом. Следовательно, не существует людей, которые одновременно являлись бы экстравертами и интровертами.
5. Подберите конкретную реализацию, демонстрирующую, что формулы совместимы по ложности.
xP(x, а) и ¬xP(x, а).
6. Подберите конкретную реализацию, демонстрирующую, что формулы совместимы по истинности.
¬xP(x, а) и хР(а, х)
7 (ДОП). Рассуждая от обратного, покажите общезначимость формул:
хР(х) Р(а),
Р(а) хР(х)

Приложенные файлы

  • docx 15893584
    Размер файла: 93 kB Загрузок: 0

Добавить комментарий