Princípio de explosão
princípio lógico / De Wikipedia, a enciclopédia encyclopedia
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",[1] 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".