Доказать общезначимость формулы

(∃xB(x) v ∃xA(x)) ∃x(B(x) v A(x))

∃ - cуществует, найдётся;

v - и/или, логическое сложение, дизъюнкция;

- эквивалентность, т.е. истинно только в случаях, когда левая и правая часть одинаковы.

Пример доказательства во вложении.