it can be visualised as
∀- For universal quantifier p->q condition exists which is same as conditional statement.
if p the antecedent is true q (consequent) should be true but if p is false it q could be anything, the implication would be true. Same is the case in universal quantifier.
∃- For existential quantifier p^q condition exists.It is same as conjunction. There must exist atleast a condition where p and q both should be true.