I have a question for my exam and I find it hard to understand.
I have to prove that the following formula is logically valid:
The professor told me to "push" all the symbols inside the brackets, and use the deduction theorem.
But I don't know how to do it, because I can't find the identities to push the "exist" symbol inside the brackets.
Your help is appriciated, thank you.