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:
|
A∧¬A
|
 |
|
B
|
(v. cálculo, derivación, regla de inferencia)
