Lógica/Lógica Tradicional: diferenças entre revisões

[edição não verificada][edição não verificada]
Conteúdo apagado Conteúdo adicionado
Linha 7:
==Princípios da Lógica Aristotélica==
===Não-contradição===
:"Efetivamente, é impossível a quem quer que seja acreditar que uma mesma coisa seja e não seja" ARISTÓTELES, ''Métafísica'', <math>\Gamma 3</math>, 1005 b 22-44
 
:Segundo o Princípio de Não-contradição, dada uma proposição e sua negação, ambas não podem ser verdadeiras.
===Terceiro excluido===
 
===Terceiro excluidoExcluido===
"Quem diz de uma coisa que é ou que não é, ou dirá o verdadeiro ou dirá o falso. Mas se existisse um termo médio entre os dois contraditórios nem do ser nem do não ser poder-se-ia dizer que é o que não é". ARISTÓTELES, ''Métafísica'', <math>\Gamma 7</math>, 1011 b 28-30