Логика предикатов 1 задача.

Раздел
Математические дисциплины
Предмет
Просмотров
497
Покупок
0
Антиплагиат
Не указан
Размещена
20 Апр 2013 в 20:43
ВУЗ
Не указан
Курс
Не указан
Стоимость
100 ₽
Файлы работы   
1
Каждая работа проверяется на плагиат, на момент публикации уникальность составляет не менее 40% по системе проверки eTXT.
zip
Введение в логик предикатов 1 задача .doc
11.9 Кбайт 100 ₽
Описание
Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме:

Если всякий предок предка данного человека есть также предок того же человека и никакой человек не есть предок самого себя, то существует некто, не имеющий предков.
Вам подходит эта работа?
Похожие работы
Логика
Тест Тест
14 Окт в 05:42
30
0 покупок
Логика
Контрольная работа Контрольная
26 Сен в 22:37
28
0 покупок
Логика
Контрольная работа Контрольная
22 Сен в 02:23
47 +3
0 покупок
Другие работы автора
Дискретная математика
Ответы на билеты Билеты
1 Июл 2014 в 11:23
842 +1
1 покупка
Дискретная математика
Задача Задача
1 Июл 2014 в 08:38
534
1 покупка
Дискретная математика
Задача Задача
1 Июл 2014 в 08:08
937
0 покупок
Дискретная математика
Задача Задача
1 Июл 2014 в 08:02
1 043 +1
4 покупки
Дискретная математика
Задача Задача
30 Июн 2014 в 17:05
503 +1
2 покупки
Дискретная математика
Контрольная работа Контрольная
30 Июн 2014 в 16:42
461 +1
0 покупок
Дискретная математика
Задача Задача
30 Июн 2014 в 16:18
718
4 покупки
Дискретная математика
Контрольная работа Контрольная
30 Июн 2014 в 15:40
447
0 покупок
Дискретная математика
Контрольная работа Контрольная
30 Июн 2014 в 15:25
371 +1
0 покупок
Дискретная математика
Контрольная работа Контрольная
30 Июн 2014 в 14:57
391
0 покупок
Дискретная математика
Контрольная работа Контрольная
30 Июн 2014 в 14:47
427
0 покупок
Дискретная математика
Контрольная работа Контрольная
20 Апр 2013 в 20:10
521
0 покупок
Дискретная математика
Контрольная работа Контрольная
20 Апр 2013 в 20:04
429
0 покупок
Дискретная математика
Контрольная работа Контрольная
20 Апр 2013 в 19:56
331 +1
0 покупок
Дискретная математика
Контрольная работа Контрольная
20 Апр 2013 в 19:50
389 +1
0 покупок
Дискретная математика
Задача Задача
20 Апр 2013 в 16:49
428
0 покупок
Дискретная математика
Задача Задача
20 Апр 2013 в 16:38
638
1 покупка
Дискретная математика
Задача Задача
20 Апр 2013 в 16:12
1 017 +1
0 покупок
Дискретная математика
Задача Задача
20 Апр 2013 в 16:05
554
2 покупки
Дискретная математика
Задача Задача
20 Апр 2013 в 16:00
320 +1
0 покупок
Темы журнала
Показать ещё
Прямой эфир