Помогите разобраться! Дискретная математика Акимов О.Е

[VLAAD]

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

12.
a. А → (В → С), А → (В v С) => А → С
b. А ~ -В, A v C, -(С & Е), В → С, B v D, А → Е => D ~ Е; -(С & D)
c. A, D → С, В v (А → D), В → С => С
Привет всем! Помогите можалуйста!

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неинформативный заголовок;
- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);
- отсутствуют собственные содержательные попытки решения задач(и).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

-- 25.05.2016, 16:08 --

VLAAD
Замечание за частичное дублирование темы из Карантина.

Исправляйте первую тему, эта закрыта и будет удалена.