Lei do terceiro excluído
De Wikipedia, a enciclopédia encyclopedia
Em lógica, a lei do terceiro excluído (em latim, principium tertii exclusi ou tertium non datur) é a terceira de três clássicas Leis do Pensamento. Ela afirma que, para qualquer proposição, ou esta proposição é verdadeira, ou sua negação é verdadeira.
A primeira formulação conhecida foi o princípio da não-contradição, de Aristóteles, proposto pela primeira vez em Da Interpretação,[1] onde ele diz que de duas proposições contraditórias (ou seja, uma proposição é a negação de outra) uma é necessariamente verdade e a outra falsa.[2] Ele também afirma isso como um princípio no livro 3 de Metafísica, dizendo que em todo caso é necessário afimar ou negar,[3] e que é impossível que haja qualquer coisa entre as duas partes da contradição.[4] Esse princípio foi declarado como um teorema da lógica proposicional por Russel e Whitehead em Principia Mathematica.
.[5]
Esse princípio não deve ser confundido com o princípio da bivalência, que estabelece que toda proposição ou é verdadeira ou é falsa, e tem apenas uma formulação semântica.