Introdu O Logica

Lógica de Programação
Curso Técnico de Informática

Conceito de Lógica
Para Aristóteles, a Lógica não era uma ciência teórica, prática ou produtiva, mas, sim, um instrumento para todas as ciências. Trata-se da correção do pensamento, ou seja, a arte de pensar corretamente.
A Lógica Matemática lida com a formalização e a análise de tipos de argumentação utilizados na Matemática.

Conceito de Lógica







Estudo do raciocínio;
Estudo do pensamento correto e verdadeiro;
Regras para demonstração científica verdadeira;
Regras para pensamentos não-científicos;
Regras sobre o modo de expor o conhecimento;
Regras para verificação da verdade ou falsidade de um pensamento. Tais definições são muito gerais e sintéticas. Não é fácil definir de forma precisa o que é Lógica, um tema tão amplo.

Conceito de Lógica
Parte do problema com a formalização da argumentação matemática é a necessidade de se especificar de maneira precisa uma linguagem matemática formal. Linguagens naturais (Português ou Inglês) não servem para este propósito: elas são muito complexas e estão em constante modificação, além de serem ambíguas.

Conceito de Lógica
Por outro lado, linguagens de programação, que são rigidamente definidas, são muito mais simples e menos flexíveis que as linguagens naturais. Diante disso, a Lógica tenta justamente combinar os benefícios das duas anteriores.

A Lógica e o nosso contexto.


O que é Lógica? O que significa estudar Lógica? Qual a sua definição?

A Lógica é a análise de métodos de raciocínio. No estudo desses métodos a Lógica está interessada principalmente na forma e não no conteúdo dos argumentos. Exemplos de argumentos:

 Todo homem é mortal. Sócrates é um homem. Portanto, é mortal.
 Todo cão late. Totó é um cão. Portanto, Totó late.
Do ponto de vista da Lógica, esses argumentos têm a mesma estrutura ou forma.
Todo X é Y. Z é X. Portanto Z é Y.

A Lógica e o nosso contexto.
Lógica matemática:


Qual a lógica da seqüência dos números e quem é
x?