Доказать общезначимость методом симантических таблиц

[Naon]

Доказать общезначимость методом симантических таблиц.
$ \forall x (P_1(x) \rightarrow P_2(x))\rightarrow (\exists x P_1(x)\rightarrow \exists x P_2(x)) $
приму любые советы подсказки:)))
Дело в том что я даже не знаю с чего надо начинать решения в данном типе примеров.Елси бы мне подсказали решение с обьяснениями. хотя бы первые 2-3 шага..до меня дошло бы..или рассказали с чего начать и как продолжить.

[Toucan]

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

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

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