Ex contradictione quodlibet

Esta expresión, literalmente, significa "de una contradicción, cualquier cosa". Se trata de una regla derivada de inferencia también llamada eliminación débil del negador, y que viene a decir que si en una derivación nos encontramos en una línea con una contradicción, en la siguiente línea estamos autorizados para poner cualquier enunciado. Su esquema argumental es:

(Véase cálculo, derivación, regla de inferencia).