I need to show that this formula $$(\forall x(A \to B) \to (\forall x A\to \forall x B))$$ is true for all interpretation. Could you help me please?
Thank you!
I need to show that this formula $$(\forall x(A \to B) \to (\forall x A\to \forall x B))$$ is true for all interpretation. Could you help me please?
Thank you!