Доказать истинность заключения методом дедукции (и нарисовать граф дедуктивного вывода)
(¬AV¬B) |-- (¬B-->A) V ( A-->C)
Пожалуйстта помогите!!!
Сообщение отредактировано: Barbudo -
истинность заключения методом дедукции |