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)
