Which expression represents 'P is necessary for Q'?
P→QP \rightarrow QP→Q
Q→PQ \rightarrow PQ→P
P↔QP \leftrightarrow QP↔Q
P∧QP \land QP∧Q