el contradictorio de una fbf (enunciado) A es una fbf (enunciado) que debe ser falso si A es verdadero y verdadero si A es falso.
(Haack, 1978).
En l贸gica, una contradicci贸n es una incompatibilidad entre dos o m谩s proposiciones. Por ejemplo, las oraciones «llueve y no llueve» y «ni llueve ni truena, pero llueve y truena» expresan contradicciones.
(Wikipedia).