trabalho

Conceito de lógica
A lógica4, ciência do raciocínio dedutivo, estuda a relação de consequência dedutiva, tratando entre outras coisas das inferências5 válidas; ou seja, das inferências cujas conclusões têm que ser verdadeiras quando as premissas6 o são. A lógica pode, portanto, ser considerada como “o estudo da razão” ou “o estudo do raciocínio”.
O objetivo da lógica consiste, então, na menção e estudo dos princípios lógicos usados no raciocínio dedutivo. Sob essa concepção, temos a lógica dedutiva.
Podemos, entretanto, considerar outra lógica, a lógica indutiva, que se ocupa não das inferências válidas, mas das inferências verossímeis.
A lógica, particularmente sob a acepção dedutiva, constitui a ciência subjacente às investigações no domínio do puramente racional, tratando de argumentos e inferências.
A lógica contemporânea tem se convertido em disciplina matemática, a lógica matemática, com características próprias, dedutiva; é o estudo do tipo de raciocínio feito pelos matemáticos, porém aplicáveis à grande área da Computação.
Breve histórico
O marco histórico do desenvolvimento da lógica inicia-se propriamente, no século IV a.C. com
Aristóteles7 (384-322 a.C.). A maior parte da contribuição relevante de Aristóteles, para a lógica, encontra-se no grupo de trabalhos conhecidos como Organon, mais especificamente nos Analytica priora e no De interpretatione.
Para os antigos filósofos gregos, lógica era uma ciência do discurso racional. Eles passaram então a usar em suas discussões proposições declarativas enunciadas na forma afirmativa e negativa, atribuindo valores
2 Operação intelectual que consiste em estabelecer uma conclusão a partir das premissas de que se parte.
3 Raciocínio que se pretende baseado em fatos e em relações lógicas a partir deles usar para se chegar a uma conclusão.
4 Forma de raciocinar coerente, em que se estabelecem relações de causa e efeito; a coerência desse raciocínio.
5 Operação intelectual que consiste em