It's predicate logic and I need to find a counterexample to disprove the follwowing claim
$(A \models \phi \implies A \models \psi) \implies A \models \phi \rightarrow \psi$
It's predicate logic and I need to find a counterexample to disprove the follwowing claim
$(A \models \phi \implies A \models \psi) \implies A \models \phi \rightarrow \psi$