También denominada contrapuesta o contrarrecíproca (por ser la recíproca de la inversa). Dada la proposición condicional p-->q, su contrapuesta o contrapositiva es la proposición ~q-->~p. La condicional y su contrapositiva son equivalentes en el sentido de que una es verdadera si y sólo si lo es la otra.