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:
- Ex contradictione quodlibet (ECQ):
-
- A∧¬A
- B
(v. cálculo, derivación, regla de inferencia)
Referencias en el texto: