logica classica e formal

Lógica classica
Dá-se o nome de Logica clássica ou Aristotélica ao sistema lógico desenvolvido por Aristóteles a quem se deve o primeiro estudo formal do raciocínio. Dois dos princípios centrais da lógica aristotélica são a lei da não-contradição e a lei do terceiro excluído.
A lei da não-contradição diz que nenhuma afirmação pode ser verdadeira e falsa ao mesmo tempo e a lei do terceiro excluído diz que qualquer afirmação da forma *P ou não-P* é verdadeira. Esse princípio deve ser cuidadosamente distinguido do *princípio de bivalência*, o princípio segundo o qual para toda proposição (p), ela ou a sua negação é verdadeira.
A lógica aristotélica, em particular, a teoria do silogismo, é apenas um fragmento da assim chamada lógica tradicional.
Lógica formal
A Lógica Formal, também chamada de Lógica Simbólica, preocupa-se, basicamente, com a estrutura do raciocínio. A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor provas de declarações. Na Lógica Formal os conceitos são rigorosamente definidos, e as orações são transformadas em notações simbólicas precisas, compactas e não ambíguas. As letras minúsculas p, q e r, em fonte itálica, são convencionalmente usadas para denotar proposições: Esta declaração define que p é 1 + 2 = 3 e que isso é verdadeiro.Duas proposições --ou mais proposições-- podem ser combinadas por meio dos chamados operadores lógicos binários , formando conjunções, disjunções ou condicionais. Essas proposições combinadas são chamadas proposições compostas. Por exemplo:p: 1 + 1 = 2 e Neste caso, e é uma conjunção. As duas proposições podem diferir totalmente uma da outra!Na matemática e na ciência da computação, pode ser necessário nunciar uma proposição dependendo de variáveis: p: n é um inteiro ímpar.
Essa proposição pode ser ou verdadeira ou falsa, a depender do valor assumido pela variável n.
Uma fórmula com variáveis livres é chamada função proposicional com domínio de discurso D. Para formar uma