Contraposición

Operación lógica en virtud de la cual las proposiciones que constituyen el antecedente y el consecuente de una implicación se sustituyen por sus negaciones (inversión) y cambian recíprocamente de lugar (conversión). Tenemos, por ejemplo, la enunciación: «Si x es divisible por 4, entonces x es divisible por 2»; su contraposición será: «Si x no es divisible por 2, entonces x no es divisible por 4». La contraposición conserva la veracidad o la falsedad de la proposición inicial.