Aula 02 Introduo Lgica

Disciplina: Fundamentos de Lgica e Algoritmos Prof. Enne Karol

Agenda da Aula

Conceitos Iniciais sobre Lgica; Argumento;

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

Como saber se um aluno est aprovado ou no? Explique!

Concluso
Utilizamos o raciocnio lgico para responder s questes anteriores!

O que significa Lgica?

A palavra Lgica deriva do Grego (logos), que significa:

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:

O que significa Lgica?

Segundo Graham Priest:

Lgica sobre raciocnio. Todos ns raciocinamos. Tentamos descobrir o que , raciocinando na base do que sabemos.

Observao

A lgica no procura dizer como as pessoas raciocinam;

Ela estuda se a concluso sobre determinadas afirmaes ou situaes :

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

Tcnica eficiente para:

a organizao de conhecimentos em qualquer rea; raciocinar corretamente sem esforo consciente; interpretar e analisar informaes rapidamente; aumentar a competncia lingustica (oral e escrita); adquirir destreza com o raciocnio quantitativo; e detectar padres em estruturas (premissas, pressuposies, cenrios, etc.).

Por que Lgica na Computao?

Computadores especfica:

entendem

uma

linguagem

Linguagem de mquina; No entendem a lgica humana.

Programas so criados para resolver algum tipo de problema;

Para que os programas funcionem corretamente, deve-se implement-los utilizando a lgica certa.

Raciocnio Lgico

A base do Raciocnio Lgico so os Argumentos Lgicos;

Atravs deles que se prova ou afirma determinadas sentenas ou ideias.

Argumento Lgico

Conjunto de uma ou mais sentenas declarativas que apresentam a seguinte relao:

Uma delas representa uma concluso; As outras representam a justificativa (premissas) para a concluso.

Em um argumento vlido, as premissas so consideradas provas evidentes da verdade da concluso.

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

Se eu estudar, aprenderei Eu estudei Logo, eu aprendi

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

Todos os homens so mortais. Eu sou um homem. Logo, eu sou mortal.

Premissas

Concluso

Argumento Lgico

Observaes:

O argumento um raciocnio lgico;

As premissas sustentam a concluso;

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.

Exemplos (verificar se vlido ou no):

Se eu ganhar na Loteria, serei rico. Eu no ganhei na Loteria. Logo, sou pobre.
No Vlida

Se eu ganhar na Loteria, serei rico. Eu ganhei na Loteria. Logo, sou rico.

Vlida

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

Princpios da Lgica Matemtica

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

Princpios da Lgica Matemtica

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 .

Princpios da Lgica Matemtica

Princpio do Terceiro Excludo:

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

Classifique como sendo Dedutivo ou Indutivo.

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.

Crie um argumento dedutivo, e outro indutivo.

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