Дискретная математика

[mb2015]

Здравствуйте. Помогите решить, не знаю с чего начать
Необходимо доказать общезначимость формулы
$\exists$ x(P(x) $\Rightarrow$ Q(x))$\Rightarrow$ ( $\forall$ xP(x)$\Rightarrow$ $\exists$ xQ(x))

[Karan]

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

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

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

-- 29.11.2015, 15:19 --

Наберите формулу нормально и приведите свои попытки решения, например, что Вы знаете об общезначимости и какие подходы к ее доказательству Вы пытались применять.