Escolar Documentos
Profissional Documentos
Cultura Documentos
Agenda da Aula
Inferncia;
Princpios.
Contextualizao: Situao 1
Voc est viajando, e um pneu do carro fura. Descreva todos os passos necessrios desde a parada do carro, at a troca completa do pneu.
- Como provar que estes eram os passos corretos? - Os passos listados esto completos?
Contextualizao: Situao 2
Concluso
Utilizamos o raciocnio lgico para responder s questes anteriores!
palavra, pensamento, ideia, argumento, relato, razo lgica ou princpio lgico. Lgica a cincia das leis ideais do pensamento e a arte de aplic-las pesquisa e demonstrao da verdade. Cincia da demonstrao.
Definio:
Segundo Aristteles:
Lgica sobre raciocnio. Todos ns raciocinamos. Tentamos descobrir o que , raciocinando na base do que sabemos.
Observao
Uma consequncia daquilo que sabemos; Est adequadamente justificada em vista da informao disponvel; Pode ser afirmada a partir da informao que sem tem.
Origem da Lgica
A Lgica teve incio na Grcia em 342 a.C.; Aristteles sistematizou os conhecimentos existentes em Lgica, elevando-a categoria de cincia; Em sua obra chamada Organum (ferramenta para o correto pensar), estabeleceu princpios to gerais e to slidos que at hoje so considerados vlidos.
Importncia da Lgica
Computadores especfica:
entendem
uma
linguagem
Para que os programas funcionem corretamente, deve-se implement-los utilizando a lgica certa.
Raciocnio Lgico
Argumento Lgico
Argumento Lgico 1
Se eu estudar, aprenderei Eu estudei
Argumento Lgico 1
Se eu estudar, aprenderei Eu estudei Logo, eu aprendi
Argumento Lgico 1
Argumento
Premissas
Concluso
Argumento Lgico 2
Todos os homens so mortais. Eu sou um homem.
Argumento Lgico 2
Todos os homens so mortais. Eu sou um homem. Logo, eu sou mortal.
Argumento Lgico 2
Argumento
Premissas
Concluso
Argumento Lgico
Observaes:
Inferncia Lgica
A palavra inferncia vem do latim, Inferre, e significa conduzir para; Processo que permite a concluso por meio de um raciocnio; Chegar a uma resposta a partir de sentenas anteriores; Manipular a informao disponvel, e extrair consequncias disso, obtendo uma nova informao.
Inferncia Lgica
Validade de um Argumento:
Quando as premissas so consideradas provas evidentes da verdade da concluso, o argumento considerado vlido; Caso contrrio, no vlido.
Tipos de Inferncia
A Lgica dispe de duas ferramentas que podem ser utilizadas pelo pensamento na busca de novos conhecimentos:
Deduo Induo.
Tipos de Inferncia
Dedutiva:
Premissas fornecem uma prova conclusiva da veracidade da concluso. Afirma que a verdade de uma concluso uma consequncia lgica das premissas que a antecedem. As premissas fornecem indicaes da veracidade da concluso (possibilidade, probabilidade). Obtm concluses baseada em observaes ou experincias.
Indutiva:
Exemplos
Princpio da Identidade:
Se um enunciado verdadeiro, ele e sempre ser verdadeiro; se for falso, ele e sempre ser falso; A = A e no pode ser B, o que , .
Princpio da No-Contradio:
Um enunciado no pode ser verdadeiro e falso ao mesmo tempo; A = A e nunca pode ser no-A, o que , e no pode ser sua negao, ou seja, o ser , o no ser no .
Um enunciado ou verdadeiro ou falso, no havendo terceira alternativa. Afirma que Ou A x ou A y, no existe uma terceira possibilidade.
Dvidas?
Exerccio
Joguei uma pedra no lago, e ela afundou; Joguei outra pedra no lago e ela tambm afundou; Joguei mais uma pedra no lago, e ela tambm afundou; Logo, se eu jogar uma outra pedra no lago, ela vai afundar. Todos os diamantes so duros. Alguns diamantes so jias. Algumas jias so duras.
Referncias
Edgard de Alencar Filho. Iniciao Lgica Matemtica. Nobel, 2002. Cezar A. Mortari. Introduo Lgica. Unesp, 2001. Materiais de Aula do Prof. Diego Nascimento;
Materiais de Velleniche;
Aula
do
Prof.
Prof.
Allbert