Решить задачи по мат.логике
Отменен
Описание работы
Решить задачи по мат.логик
1) Определить тип предикат
∃y∀z(xz=y) (область - Z
2) Доказать равносильност
∃x(A(x)->C)≡(∀xA(x))->
Где x - свободная переменная, а C - высказывани
3) Привести формулу к нормальному вид
(∀x∃y P(x,y))~(∀yQ(y,z))
1) Определить тип предикат
∃y∀z(xz=y) (область - Z
2) Доказать равносильност
∃x(A(x)->C)≡(∀xA(x))->
Где x - свободная переменная, а C - высказывани
3) Привести формулу к нормальному вид
(∀x∃y P(x,y))~(∀yQ(y,z))
Нужна такая же работа?
- Разместите заказ
- Выберите исполнителя
- Получите результат
| Гарантия на работу | 1 год |
| Средний балл | 4.96 |
| Стоимость | Назначаете сами |
| Эксперт | Выбираете сами |
| Уникальность работы | от 70% |
Предыдущий заказ
Следующий заказ
Нужна аналогичная работа?
Оформи быстрый заказ и узнай стоимость
Гарантированные бесплатные доработки
Быстрое выполнение от 2 часов
Проверка работы на плагиат
