Lei do terceiro excluído: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Legobot (discussão | contribs)
m A migrar 26 interwikis, agora providenciados por Wikidata em d:q468422
Linha 2:
A '''lei do terceiro excluído''' (em [[latim]] resumida na expressão ''tertium non datur''), é um princípio cujo enunciado consiste no seguinte: "ou A é ''x'' ou não é ''x'' e não há terceira possibilidade". É representada da seguinte maneira:
 
Av ~A
:<math>P \or \neg P.\,</math>
 
::Exemplo: ''Ou este homem é Sócrates ou não é Sócrates''.