Создан заказ №230029
24 мая 2014
Задача по математической логике
Как заказчик описал требования к работе:
Доказать в исчислении высказываний (буквы обозначают произвольные формулы):
¬((¬Z -> X) & ¬(¬X -> ¬Y) V (Y -> Z))
Прикрепляю конспект лекций по предмету, где даются аксиомы и теоремы (если потребуется).
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
25 мая 2014
Заказ завершен, заказчик получил финальный файл с работой
5
Задача по математической логике.jpg
2015-04-14 20:49
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Работа была выполнена в районе получаса,очень порадовала такая оперативность...спасибо большое работу приняли и я получила зачет