princípio de explosão

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".