Создан заказ №7875352
15 декабря 2021
Построить формальные выводы в ИП (используя правила введения и удален
Как заказчик описал требования к работе:
Построить формальные выводы в ИП (используя правила введения и
удаления логических символов, правило замены, вспомогательные (технические) правила и др.).
1. ∃xA(x) ∨ ∃xB(x) |- ∃x∃y(A(x) ∨ B(y))
2. |- (A → ∀xB(x)) → ∀x(A → B(x))
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
16 декабря 2021
Заказ завершен, заказчик получил финальный файл с работой
5
Построить формальные выводы в ИП (используя правила введения и
удален.jpg
2021-12-19 01:15
Последний отзыв студента о бирже Автор24
Общая оценка
4
Положительно
ответственный человек,было приятно иметь дело,надеюсь на дальнейшее сотрудничество)))