O '''princípio de explosão''' (em [[latim]]: ''ex falso quodlibet'' ou ''ex contradictione sequitur quodlibet'', "a partir de uma contradição, nadaqualquer 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",<ref>Carnielli, W. and Marcos, J. (2001) [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.70 "Ex contradictione non sequitur quodlibet"] ''Proc. 2nd Conf. on Reasoning and Logic'' (Bucharest, Julho de 2000)</ref> 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 "<math>\vdash</math>" simboliza a relação de [[consequência lógica]]):
