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

[stan94]

Здравствуйте.
Помогите пожалуйста с решением следующего примера
((А V B) V C) ->(A V (B V C))
Нужно решить с использованием аксиом и правилом Modus Ponens

[Pphantom]

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

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

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