Logica

1.1 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. 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
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.

Exercícios de lógica
1. Lógica matemática:


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

2,4,4,6,5,4,4,4,4, x ?



2,10,12,16,17,18,19, x ?



1,11,21,1211,111221, x ?

2. Charadas: lógica filosófica.


2,4,4, 6,5, 4,4,4, 4,x
10 11 12 13  x = 9 x = 200 x = 312211

Um homem olhava uma foto, e alguém lhe perguntou: “De quem é essa foto? Ao que ele respondeu: “Não tenho irmãos nem irmãs, mas o filho deste homem é filho de meu pai. De quem é esta foto?

O homem olhava a foto de seu pai.

Testes de Lógica
1. Você está numa cela onde existem duas portas, cada uma vigiada por um guarda. Existe uma porta que dá para a liberdade, e outra para a morte. Você está livre para escolher a porta que quiser e por ela sair. Poderá fazer apenas uma pergunta a um dos dois guardas que vigiam as portas. Um dos guardas sempre fala a verdade, e o outro sempre mente e você não sabe quem é o mentiroso e quem fala a verdade.
Que pergunta você faria?
Pergunte a qualquer um deles: Qual a porta que o seu companheiro apontaria como sendo a porta da liberdade?
Explicação: O mentiroso apontaria a porta da morte como sendo a porta que o seu companheiro (o sincero)