Логика предикатов 1 задача.
Файлы работы
1
Каждая работа проверяется на плагиат, на момент публикации уникальность составляет не менее 40% по системе проверки eTXT.
Введение в логик предикатов 1 задача .doc
11.9 Кбайт Описание
Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме:
Если всякий предок предка данного человека есть также предок того же человека и никакой человек не есть предок самого себя, то существует некто, не имеющий предков.
Если всякий предок предка данного человека есть также предок того же человека и никакой человек не есть предок самого себя, то существует некто, не имеющий предков.
Вам подходит эта работа?
Похожие работы
20 Мая в 12:35
3 Апр в 13:12
Другие работы автора
1 Июл 2014 в 08:08
1 Июл 2014 в 08:02
30 Июн 2014 в 17:05
Предыдущая работа
Следующая работа