Lógica/Lógica Tradicional/Princípios e as Proposições Categóricas: diferenças entre revisões

:"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, não podem ser ambas verdadeiras.

:"(Todo) A é A".

:"Cada coisa é aquilo que é" LEIBNIZ, ''Novos Ensaios sobre o Entendimento Humano''.

:Apesar de freqüentemente atribuído à Aristóteles, não há referências do Princípio de Identidade até o século XIII. De qualquer forma, ele está inserido nos estudos de lógica tradicional.