Заказ закрыт
Решить задачу по дисциплине Математическая логика

Бюджет: по договоренности
Необходимо решить задание по математической логике:

Являются ли следующие формулы выводимыми в исчислении высказываний? Если да, то напишите их вывод:

1)   (((A → B) → C) → D) → A
2)    A → (B → (C → (D → A)))
3)   (A ∙ B / B ∙ C) → A ∙ C

Я не знаю сколько это может стоить. Поэтому указывайте пожалуйста свою цену.
Опубликован 11.02.2016 в 01:29 Последнее изменение: 11.02.2016 в 01:31
Заказ находится в архиве

Выберите способ верификации:

Обновите страницу после прохождения верификации.