Q9,p2,j15. Match the following.

List I	List II.
(P->q)<->(~q->~p)	1.       Contra Positive.
[(p^q)->r]<->[p->(q->r)]	2.       Exportation law.
(p->q)<->[(p^~q)->0	3.       Reduction ad absurdum
(p<->q)<->[p->q)^(q^p)]	4.       Equivalence.

Codes.

                A             B             C             D

A)           1.            11.          111.        Iv.

B)            ii.             Iii.           I               iv.

C).          iii.            Ii.            Iv.           i.

D)           iv             ii.             Iii.           i.

Answer  D.