contradicción

En lógica y matemáticas, una **contradicción** ocurre cuando dos proposiciones o afirmaciones son mutuamente excluyentes y ambas se afirman como verdaderas al mismo tiempo. Es decir, se afirma *P* y se afirma *no-P* simultáneamente. Una contradicción inherentemente implica una falsedad porque la verdad de una afirmación excluye la verdad de su negación, y viceversa. En un sistema formal consistente, la presencia de una contradicción permite derivar cualquier otra afirmación, lo que hace que el sistema sea inservible. Identificar y eliminar contradicciones es fundamental para mantener la validez de un argumento o la consistencia de un sistema axiomático. Las contradicciones pueden surgir por errores en el razonamiento, definiciones ambiguas o axiomas inconsistentes.