Engenharia de Refinao de Petrleos

DISCIPLINA COMPUTAO CINTFICA Professor: Edgar Ferreira Pinto Leite Engenheiro Informtico e Engenheiro electrnico Email- gaigai5@live.com Tel-923446243 Ano 2011

Curso: Engenharia de Refinao de Petrleos

Capitulo III- Introduo a LGICAS

Sumrio Conceito de logicas

Disciplina: Computao Cintifica Ano 2011

Professor: Edgar Pinto Leite

Curso: Engenharia de Refinao de Petrleos

Conceito de lgica
Para Aristteles, a Lgica no era uma cincia terica, prtica ou produtiva, mas, sim, um instrumento para todas as cincias. A Lgica Matemtica lida com a formalizao e a anlise de tipos de argumentao utilizados na Matemtica.

Disciplina: Computao Cintifica Ano 2011

Professor: Edgar Pinto Leite

Curso: Engenharia de Refinao de Petrleos

Conceito de lgica
Parte do problema com a formalizao da argumentao matemtica a necessidade de se especificar de maneira precisa uma linguagem matemtica formal. Linguagens naturais (Portugus ou Ingls) no servem para este propsito: elas so muito complexas e esto em constante modificao, alm de serem ambguas

Disciplina: Computao Cintifica Ano 2011

Professor: Edgar Pinto Leite

Curso: Engenharia de Refinao de Petrleos

Conceito de lgica
Por outro lado, linguagens de programao, que so rigidamente definidas, so muito mais simples e menos flexveis que as linguagens naturais. Diante disso, a Lgica tenta justamente combinar os benefcios das duas anteriores.

Disciplina: Computao Cintifica Ano 2011

Professor: Edgar Pinto Leite

Curso: Engenharia de Refinao de Petrleos

Exercicios de Lgica
. Charadas: lgica filosfica. Um homem olhava uma foto, e algum lhe perguntou: De quem essa foto? Ao que ele respondeu: No tenho irmos nem irms, mas o filho deste homem filho de meu pai. De quem esta foto?

Disciplina: Computao Cintifica Ano 2011

O homem olhava a foto de seu pai.

Professor: Edgar Pinto Leite

Exercicios de Lgica
Curso: Engenharia de Refinao de Petrleos

. 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 no sabe quem o mentiroso e quem fala a verdade. Que pergunta voc faria?

Disciplina: Computao Cintifica Ano 2011

Pergunte a qualquer um deles: Qual a porta que o seu companheiro apontaria como sendo a porta da liberdade?
Explicao: O mentiroso apontaria a porta da morte como sendo a porta que o seu companheiro (o sincero) diria que a porta da liberdade. E o sincero, sabendo que seu companheiro sempre mente, diria que ele apontaria a porta da morte como sendo a porta da liberdade. Concluso: Os dois apontariam a porta da morte como sendo a porta que o seu companheiro diria ser a porta da liberdade. Portanto, s seguir pela outra porta.

Professor: Edgar Pinto Leite

Curso: Engenharia de Refinao de Petrleos

Exercicios de Lgica
Voc prisioneiro de uma tribo indgena que conhece todos os segredos do Universo e portanto sabem de tudo. Voc est para receber sua sentena de morte. O cacique o desafia: "Faa uma afirmao qualquer. Se o que voc falar for mentira voc morrer na fogueira, se falar uma verdade voc ser afogado. Se no pudermos definir sua afirmao como verdade ou mentira, ns te libertaremos. O que voc diria? Afirme que voc morrer na fogueira Explicao: Se voc realmente morrer na fogueira, isto uma verdade, ento voc deveria morrer afogado, mas se voc for afogado a afirmao seria uma mentira, e voc teria que morrer na fogueira. Concluso: Mesmo que eles pudessem prever o futuro, cairiam neste impasse e voc seria libertado.

Disciplina: Computao Cintifica Ano 2011

Professor: Edgar Pinto Leite