Implikasi P=>~Q senilai dengan.(i) ~Q=>P (iii) ~(Q=>P) (ii) ~P=>Q (iv) Q=>~P