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