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

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

Если всякий предок предка данного человека есть также предок того же человека и никакой человек не есть предок самого себя, то существует некто, не имеющий предков.
Вам подходит эта работа?
Похожие работы
Логика
Тест Тест
9 Ноя в 22:50
45 +1
0 покупок
Логика
Реферат Реферат
6 Ноя в 10:20
22
0 покупок
Логика
Контрольная работа Контрольная
3 Ноя в 19:23
21
0 покупок
Логика
Тест Тест
3 Ноя в 18:32
25
0 покупок
Другие работы автора
Дискретная математика
Ответы на билеты Билеты
1 Июл 2014 в 11:23
845 +1
1 покупка
Дискретная математика
Задача Задача
1 Июл 2014 в 08:38
539
1 покупка
Дискретная математика
Задача Задача
1 Июл 2014 в 08:08
944
0 покупок
Дискретная математика
Задача Задача
1 Июл 2014 в 08:02
1 050
5 покупок
Дискретная математика
Задача Задача
30 Июн 2014 в 17:05
507
2 покупки
Дискретная математика
Контрольная работа Контрольная
30 Июн 2014 в 16:42
466
0 покупок
Дискретная математика
Задача Задача
30 Июн 2014 в 16:18
722
4 покупки
Дискретная математика
Контрольная работа Контрольная
30 Июн 2014 в 15:40
451
0 покупок
Дискретная математика
Контрольная работа Контрольная
30 Июн 2014 в 15:25
373
0 покупок
Дискретная математика
Контрольная работа Контрольная
30 Июн 2014 в 14:57
393
0 покупок
Дискретная математика
Контрольная работа Контрольная
30 Июн 2014 в 14:47
430
0 покупок
Дискретная математика
Контрольная работа Контрольная
20 Апр 2013 в 20:10
525
0 покупок
Дискретная математика
Контрольная работа Контрольная
20 Апр 2013 в 20:04
432
0 покупок
Дискретная математика
Контрольная работа Контрольная
20 Апр 2013 в 19:56
334
0 покупок
Дискретная математика
Контрольная работа Контрольная
20 Апр 2013 в 19:50
393
0 покупок
Дискретная математика
Задача Задача
20 Апр 2013 в 16:49
433
0 покупок
Дискретная математика
Задача Задача
20 Апр 2013 в 16:38
641
1 покупка
Дискретная математика
Задача Задача
20 Апр 2013 в 16:12
1 020
0 покупок
Дискретная математика
Задача Задача
20 Апр 2013 в 16:05
559
2 покупки
Дискретная математика
Задача Задача
20 Апр 2013 в 16:00
323
0 покупок
Темы журнала
Показать ещё
Прямой эфир