Создан заказ №11129466
13 октября 2024
Логика предикатов матлогика маленькая часть задания
Как заказчик описал требования к работе:
Часть курсовой работы : формула логики предикатов, соответствующая утверждению теоремы и приведение ее к предваренной нормальной форме.
Теорема : " Для любого натурального числа n найдется простое число p?. большее заданного.
Полагаю, если ввести предикаты N(x) : "x-натуральное число" , P(x)
- " x - простое число", B(x,y) : "x>y" , то выглядеть должно как-то вроде ∀n (N(n) ∃p ( P(p) ∧ B( n,p ) ) . Поправьте, пожалуйста, если неправ, и покажите, как привести к ПНФ.
подробнее
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией для внесения правок на основе комментариев преподавателя
16 октября 2024
Заказ завершен, заказчик получил финальный файл с работой
5
Логика предикатов матлогика маленькая часть задания .docx
2024-10-19 05:19
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
поставили за работу 3, из-за краткого пояснения. надо было более развернуто. мне автор понравился, все быстро.
Хочешь такую же работу?
300 ₽
