O
princípio de explosão (em
latim:
ex falso quodlibet ou
ex contradictione sequitur quodlibet, "a partir de uma contradição, qualquer coisa segue") é uma lei da
lógica clássica e de alguns outros sistemas como a
lógica intuicionista que, de acordo com ela, "qualquer coisa pode surgir de uma contradição", isto é, uma vez que uma contradição foi afirmada, qualquer proposição (ou a sua inversa) pode ser inferida dela. Em termos simbólicos, o princípio de explosão pode ser expressado da seguinte maneira (onde "
" simboliza a relação de
consequência lógica):
Esta expressão pode ser lida da seguinte maneira: "Se algo é verdadeiro (
) e não verdadeiro () ao mesmo tempo, é possível derivar
qualquer conclusão (
)."
O princípio da explosão também é conhecido como
ex falso quodlibet,
ex falso sequitur quodlibet,
ex contradictione [sequitur] quodlibet e
ex falso/contradictione [sequitur]. Todas são variações da versão em
Latim que significa: "da falsidade/contradição obtém-se o que se queira".