Методом от противоположного доказать

[4657898765]

Методом от противоположного доказать что справедливо следующее логическое следование:
(P∨Q)⇒R|=(P∧¬Q)∨R

[Sinoid]

Во-первых, формулы набраны не в ТеХ, во-вторых, какова система аксиом? В-третьих, где собственные попытки решения?

[Pphantom]

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

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

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