Логика предикатов 1 задача.
Файлы работы
1
Каждая работа проверяется на плагиат, на момент публикации
уникальность составляет не менее 40% по системе проверки eTXT.
Введение в логик предикатов 1 задача .doc
Описание
Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме:
Если всякий предок предка данного человека есть также предок того же человека и никакой человек не есть предок самого себя, то существует некто, не имеющий предков.
Если всякий предок предка данного человека есть также предок того же человека и никакой человек не есть предок самого себя, то существует некто, не имеющий предков.
Вам подходит эта работа?
Похожие работы
150 ₽
Другие работы автора
300 ₽
200 ₽
100 ₽
Предыдущая работа
Следующая работа