Cerai - Harti, Contona, Prosés, jeung Hukum Implikasi