Hi all, I have to do a proof and I keep hitting dead ends.

The proof is:

"Show the following general statements are equivalent. ( and are sets of formulas and is a formula.)

(E) For all , if every finite subset of is satisfiable, then so is .

(F) For all and , if then , for some finite subset of ."

I want to prove (E) --> (F) and then (F) --> (E), but I feel like I keep proving the converse of what I want to prove.

I thought I could try using the contrapositives of these statements, or try a proof by contradiction, but nothing seems to be working in the right direction.