Question $1$

Please show that the following arguments are valid using the laws of inference.

$1.$ P $<->$ Q$,$ P therefore Q

$2.$P $->$ Q therefore ~Q$->$ ~P

$3.$ ~P$1$ or Q$1,$ Q$1->$P$2,$ ~P$2$ therefore ~P$1$