Prove the existence of a proposition logical formula so that following conditions are fulfilled
The formula $\psi$ is called an interpolant and the method of finding such an interpolant is called Craig interpolation. On the Wikipedia article you can find more information about it, including a proof that interpolants always exist in propositional logic.