El contrarrecíproco de un enunciado condicional es su recíproco con cada uno de sus dos componentes negado. Así, el contrarrecíproco de p→q es ¬q→¬p (es decir, la negación de cada uno de los enunciados del recíproco). Una implicación y su contrarrecíproco son equivalentes lógicamente
(v. equivalencia)
Referencias en el texto: