Математическая логика и теория алгоритмов

[Insil]

Завтра экзамен((( Помогите сделать контрольную, иначе меня не допустят


Каждую клаузу необходимо доказать следующими методами: аксиоматическим, натурального исчисления, резолюций, и Вонга.


a. А -> (С -> В), D -> А, С => D -> В
b. Е -> F, С -> (D -> Е), (А -> В) -> С => D -> (A v F)
c. –A ~ B, B -> C, -C ~ D => (C -> B) -> (D -> A)

[Toucan]

Тема перемещена в Карантин.

Чтобы оттуда выбраться

1. Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

2. Приведите свои попытки решения задач и объясните, что конкретно вызывает затруднения.

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.

________________
Всякий, кто поступил в университет, но не хочет сам учиться - враг своей страны, подрывающий ее научно-технический, интеллектуальный и оборонный потенциалы.
(c) по мотивам сообщения Yuri Gendelman.