Você está na página 1de 68

Inteligncia Artificial

Lgica
Professor
Rudimar Lus Scaranto Dazzi

Definio
A Lgica tem, por objeto de
estudo, as leis gerais do
pensamento, e as formas de
aplicar essas leis corretamente
na investigao da verdade.

Origem
Aristteles - filsofo grego - 342 a.C,
sistematizou os conhecimentos existentes
em Lgica, elevando-os 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.

Origem
Aristteles se preocupava com as formas
de raciocnio que, a partir de
conhecimentos considerados verdadeiros,
permitiam obter novos conhecimentos.

A partir dos conhecimentos tidos como


verdadeiros, caberia Lgica a formulao
de leis gerais de encadeamentos lgicos que
levariam descoberta de novas verdades.
Essa forma de encadeamento chamada,
em Lgica, de argumento.

Argumento
Um argumento uma seqncia de proposies na
qual uma delas a concluso e as demais so
premissas. As premissas justificam a concluso.
Proposies: sentenas afirmativas que podem ser
verdadeiras ou falsas.
Premissas: afirmaes disponveis
Exemplo:

Todo aluno de Computao precisa estudar Lgica. (premissa)


Jos aluno de Computao.
(premissa)
Logo, Jos precisa estudar Lgica.
(concluso)

Argumento
O objetivo de um argumento justificar uma
afirmao que se faz, ou dar as razes para uma certa
concluso obtida.
Exemplo:
Voc me traiu. Pois, disse que ia estudar e meu
irmo lhe viu na boate.
Um argumento demonstra/prova como a partir dos
dados de um problema chegou-se a uma concluso.

Argumento:

Raciocnio e Inferncia

Exerccio:
temos
3 chapus brancos e 2 vermelhos.
Um rei
dar de
a liberdade
a um
seusqual
trs
como
A resolveu
v o chapu
B e C, e ele
nodesabe
a cor
prisioneiros.
Mandou
trs chapus
brancos
e dois
do
seu, conclumos
quetrazer
pelo menos
um chapu
que ele
vermelhos.
Vendou os olhos dos prisioneiros, colocou um
v
branco...
chapu
cada umdee A,
depois
foiele
retirando
venda
dos
B
sabe aem
resposta
ento
sabe queapelo
menos
olhos
deles. Ganharia
um
chapu
branco... a liberdade aquele que soubesse
dizer, de forma convincente, a cor do seu prprio
se eleolhando
v em Cpara
um os
chapu
vermelho,
entoOs
o seu
chapu
outros
prisioneiros.
dois
teria que
branco...dizer. O terceiro, antes que o
primeiros
noser
souberam
logo,
a cor
do chapu
C olhos,
branco.
rei lhe
tirasse
a vendadedos
afirmou com toda
certeza
a corBdono
seupode
chapu.
pois assim
concluir qual o seu!
Qual a cor do chapu do terceiro prisioneiro?
Justifique.

Argumento:

Raciocnio e Inferncia
Para convencer que voc sabe a resposta (que no
um chute) voc tem de expor as razes que o levaram
a concluso (justificar).
Pontos de Partida

Caminhos Seguidos

Raciocnio ou
Processo de Inferncia

Concluso

Um argumento poderia ser considerado uma


reconstruo explcita do raciocnio efetuado

Argumento:

Raciocnio e Inferncia
Inferncia a relao que permite
passar das premissas para a
concluso (um encadeamento
lgico)
A palavra inferncia vem do latim,
Inferre, e significa conduzir para

Argumento
O objeto de estudo da lgica
determinar se a concluso de um
argumento ou no decorrente das
premissas (uma inferncia).

Validade de um
Argumento
Em um argumento vlido, as premissas so
consideradas provas evidentes da verdade da
concluso, caso contrrio no vlido.
Quando vlido, podemos dizer que a
concluso uma conseqncia lgica das
premissas, ou ainda que a concluso uma
inferncia decorrente das premissas.

Validade de um
Argumento
Exemplo 1: O argumento que segue
vlido?
Se eu ganhar na Loteria, serei rico.
Eu ganhei na Loteria.
Logo, sou rico.

Vlido

(a concluso uma decorrncia


lgica das duas premissas.)

Validade de um
Argumento
Exemplo 2: O argumento que segue
vlido?
Se eu ganhar na Loteria, serei rico
Eu no ganhei na Loteria
Logo, no sou rico

No Vlido

(a concluso no uma decorrncia


lgica das duas premissas.)

Validade de um
Argumento
A lgica se preocupa com o relacionamento
entre as premissas e a concluso, ou seja, com
a estrutura e a forma do raciocnio. A verdade
do contedo de cada premissa e da concluso
estudo das demais cincias.

A validade do argumento est diretamente


ligada forma pela qual ele se apresenta
(Lgica Formal estuda a forma dos
argumentos).

Deduo e Induo
A Lgica dispe de duas ferramentas
que podem ser utilizadas pelo
pensamento na busca de novos
conhecimentos: a deduo e a
induo, que do origem a dois tipos
de argumentos: Dedutivos e
Indutivos.

Argumentos Dedutivos
Os Argumentos Dedutivos pretendem que
suas premissas forneam uma prova
conclusiva da veracidade da concluso.
Podem ser:
Vlidos: quando suas premissas, se
verdadeiras, fornecem provas
convincentes para a concluso. Isto , se
as premissas forem verdadeiras,
impossvel que a concluso seja falsa;
Invlidos: no se verifica a
caracterstica anterior.

Argumentos Dedutivos
Exemplos de argumentos dedutivos:
Ela toca piano ou violo.
Ela toca piano.
Logo, ela no toca violo.

Todo homem mortal.


Scrates um homem.
Logo, Scrates mortal.

Argumento Invlido

Argumento Vlido

Argumentos Indutivos
Os Argumentos Indutivos no pretendem que suas
premissas forneam provas cabais da veracidade da
concluso, mas apenas que forneam indicaes dessa
veracidade. (possibilidade, probabilidade)
Seguem do Raciocnio Indutivo, isto , obtm
concluses baseada em observaes/experincias.
Enquanto que um Raciocnio Dedutivo exige uma
prova formal sobre a validade do argumento.
Os termos vlidos e invlidos no se aplicam para os
argumentos indutivos. Eles so avaliados de acordo
com a maior ou a menor probabilidade com que suas
concluses sejam estabelecidas.

Argumentos Indutivos
Exemplo1:
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.

Argumentos Indutivos
Exemplo2:
A vacina funcionou bem nos ratos.
A vacina funcionou bem nos macacos.
Logo, vai funcionar bem nos humanos.
Exemplo3:
80% dos entrevistados vo votar no candidato X.
Logo, o candidato X vai vencer as eleies.

Argumentos Indutivos
A Lgica Formal Clssica s estuda
Argumentos Dedutivos, verificando
se so ou no vlidos.

Validade e Verdade
Verdade e Falsidade: so propriedades
das proposies, nunca dos argumentos

Validade ou Invalidade: so
propriedades dos argumentos dedutivos
que dizem respeito a inferncia ser ou
no vlida (raciocnio ser ou no correto)

Validade e Verdade

Exemplo 1
Toda baleia um mamfero
Todo mamfero tem pulmes
Logo, toda baleia tem pulmes

(V)
(V)
(V)

Argumento vlido e a concluso


verdadeira.

Validade e Verdade

Exemplo 2
Toda aranha tem seis pernas
(F)
Todo ser de seis pernas tem asas (F)
Logo, toda aranha tem asas
(F)
Argumento vlido e a concluso
falsa

Lgica Informal:
Argumentos
A Lgica o estudo de argumentos.
Um argumento uma seqncia de
proposies/enunciados na qual um dos
enunciados a concluso e os demais so
premissas.
As premissas de um argumento servem para
provar, ou fornecer evidncias para a
concluso.

Lgica Informal:
Argumentos
Exemplo:
Todos os homens so mortais (Premissa)
Scrates um homem
(Premissa)
Scrates mortal
(Concluso)

Lgica Informal:
Argumentos
Uma proposio uma idia expressa por uma
sentena declarativa/afirmativa, cujo
significado pode ser verdadeiro ou falso.
Exemplos:

Proposies
A terra redonda.
O sol uma estrela.
Est chovendo.

No proposies
Voc est entendendo?
Cuidado!
Aquela cadeira est quebrada.
(sem apontar para uma cadeira)

Lgica Informal:
Argumentos
Uma sentena uma seqncia de palavras
obedecendo regras gramaticais, que podem ser
combinadas para formar argumentos, declaraes
informativas, poemas, etc.
Exemplo:
Jos quebrou a cadeira.
A cadeira foi quebrada por Jos.

Duas sentenas, mas uma nica proposio.

Lgica Informal:
Argumentos (Exerccios)
Exerccios: Identificar as premissas [ ] e a
concluso ( ) dos argumentos:

1) Ele Leo, pois nasceu na 1 semana de


agosto.

(Ele Leo), pois [nasceu na 1 semana


de agosto].

Lgica Informal:
Argumentos (Exerccios)
2) A economia no pode ser
melhorada desde que o dficit
comercial est crescendo todo dia.

(A economia no pode ser melhorada)


desde que [o dficit comercial est
crescendo todo dia].

Lgica Informal:
Argumentos (Exerccios)
3. Como o filme ainda no acabou eu
no quero ir para cama.

Como [o filme ainda no acabou,] (eu


no quero ir para cama).

Lgica Informal:
Argumentos Complexos
Alguns argumentos se originam por etapas:
Uma concluso inferida de um conjunto de premissas
pode ser usada como premissa para inferir uma outra
concluso
As premissas que servem como concluso de
premissas anteriores chamam-se premissas nobsicas (ou concluses intermedirias).
As premissas que no so concluses de premissas
prvias chamam-se premissas bsicas (ou suposies).

Lgica Informal:
Argumentos Complexos:
Exemplo
"Todos os nmeros racionais podem ser
expressos como quociente de dois inteiros.
Contudo, no pode ser expresso como
quociente de dois inteiros. Portanto, no um
nmero racional. Evidentemente, um
nmero. Logo, existe pelo menos um nmero
no-racional".

Lgica Informal:
Argumentos Complexos
Forma Padro desse argumento:
Todos os nmeros racionais podem ser
expressos como quociente de dois inteiros.
no pode ser expresso como quociente de dois
inteiros.

no um nmero racional.
um nmero.

Existe pelo menos um nmero no-racional.

Lgica Informal:Argumentos.
Identificao
Um argumento ocorre s quando pretendese provar uma concluso a partir de um
conjunto de premissas.
Esse propsito geralmente expresso pelo
uso de indicadores de inferncia.

Lgica Informal: Argumentos.


Indicadores de Inferncia
INDICADORES DE CONCLUSO

INDICADORES DE PREMISSA

Expresses que assinalam Expresses que assinalam


que a sentena que os
que a sentena que os
contm uma concluso. contm uma premissa.
Portanto, Por isso,
Pois, Desde que, Como,
Assim, Dessa maneira,
Porque, Assumindo que,
Neste caso, Da, Logo,
Visto que, Admitindo
De modo que, Ento,
que, Em vista de, Dado
Assim sendo, Podemos
que, Supondo que, ...
deduzir que, ...

Lgica Informal: Argumentos.


Indicadores de Inferncia

Indicador de concluso entre duas sentenas:


indica que a primeira premissa e a segunda
concluso
Ex: Ele no est em casa, portanto, ele foi pescar.

Indicador de premissa entre duas sentenas:


indica que a primeira concluso e a segunda
premissa.
Ex: Ele no est em casa pois ele foi pescar.

Lgica Informal:Argumentos.
Indicadores de Inferncia
Indicador de concluso no incio de uma
sentena: indica que a sentena concluso das
premissas anteriores.

Ex: vero e Amanh feriado. Portanto, vou praia

Indicador de premissa no incio de uma sentena


composta de duas sentenas: indica que a
primeira premissa e a segunda concluso.
Ex: Desde que uma frente fria est a caminho,
provvel que chova

Lgica Informal:Argumentos.
Indicadores de Inferncia: Exerccios
"O composto ouro-argnio,
provavelmente, no produzido no
laboratrio, muito menos na natureza,
desde que difcil fazer o argnio reagir
com qualquer outra coisa e desde que o
ouro, tambm, forma poucos compostos."

Lgica Informal: Argumentos.


Indicadores de Inferncia: Exerccios
Soluo:
( O composto ouro-argnio,
provavelmente, no produzido no
laboratrio, muito menos na natureza),
desde que [ difcil fazer o argnio
reagir com qualquer outra coisa] e
desde que [o ouro, tambm, forma poucos
compostos]."

Lgica Informal:Argumentos.
Indicadores de Inferncia: Exerccios

"A inflao tem cado consideravelmente,


enquanto as taxas de juros tem
permanecido altas. Portanto, em termos
reais, o emprstimo tornou-se mais caro
desde que nessas condies, o dinheiro
emprestado no pode ser pago em reais
desvalorizados."

Lgica Informal:Argumentos.
Indicadores de Inferncia: Exerccios

Soluo:
"[A inflao tem cado consideravelmente,
enquanto as taxas de juros tem
permanecido altas]. Portanto, (em termos
reais, o emprstimo tornou-se mais caro)
desde que [nessas condies, o dinheiro
emprestado no pode ser pago em reais
desvalorizados]. "

Lgica Informal:Argumentos.
Indicadores de Inferncia:

Para reconhecer se uma expresso indicador


de inferncia, necessrio analisar o
contexto:
Ex. Passaram-se 6 anos desde que fomos Frana.
Revela a durao de tempo, no uma inferncia

Ex. Ele estava zangado e ficou assim por vrios dias.


Significa nessa condio e no "portanto".

Lgica Informal:Argumentos.
Indicadores de Inferncia:

Muitas vezes os argumentos no


apresentam indicadores de inferncia.
Nesses casos, necessrio uma anlise
mais rigorosa do contexto para entender
as intenes do autor

Lgica Informal:Argumentos.
Indicadores de Inferncia:
Podem estar ausentes

Exemplo:
"Al Capone foi imprudente. Se ele no
fosse imprudente, o IRS jamais teria
conseguido conden-lo por sonegar o
imposto de renda.

Lgica Informal:Argumentos.
Indicadores de Inferncia:
Podem estar ausentes

Ex.: 1(Al Capone foi imprudente). 2[Se ele no


fosse imprudente, o IRS jamais teria
conseguido conden-lo por sonegar o
imposto de renda.]
Reescrevendo na forma padro:
Se Al Capone no fosse imprudente, o IRS
jamais teria conseguido conden-lo por
sonegar o imposto de renda.
Al Capone foi imprudente.

Lgica Informal:Argumentos.
Indicadores de Inferncia:
Podem estar ausentes

Exemplo:
"Os defensores do aborto so hipcritas.
Eles, continuamente, contestam em altos
brados a execuo de criminosos ou a
destruio de nossos inimigos. Mas eles nada
vem de errado com o assassinato de
crianas inocentes."

Lgica Informal:Argumentos.
Indicadores de Inferncia:
Podem estar ausentes

Ex.: "1(Os defensores do aborto so hipcritas). 2[Eles,


continuamente, contestam em altos brados a
execuo de criminosos ou a destruio de nossos
inimigos]. 3[Mas eles nada vem de errado com o
assassinato de crianas inocentes.]"
Reescrevendo na forma padro:

Os defensores do aborto, continuamente,


contestam em altos brados a execuo de
criminosos ou a destruio de nossos inimigos.

Eles nada vem de errado com o assassinato de


crianas inocentes.

Os defensores de aborto so hipcritas.

Lgica Informal:Argumentos.
Indicadores de Inferncia:
Podem estar ausentes

Exemplo:
"Voc no precisa se preocupar com
temperaturas abaixo de zero, em junho,
mesmo nos picos mais altos. Nunca faz
frio nos meses de vero e portanto
provavelmente nunca ocorrer."

Lgica Informal:Argumentos.
Indicadores de Inferncia:
Podem estar ausentes

Ex.: "1(Voc no precisa se preocupar com temperaturas


abaixo de zero, em junho, mesmo nos picos mais altos).
2[Nunca faz frio nos meses de vero] e portanto
3[provavelmente nunca ocorrer]."
Reescrevendo na forma padro:

Nunca ocorreu temperatura abaixo de zero, mesmo


nos picos mais altos, nos meses de vero.

Provavelmente nunca ocorrer.


Voc no precisa se preocupar com temperaturas
abaixo de zero, em junho, mesmo nos picos mais
altos.

Diagrama de Argumento

Maneira grfica de representar a


estrutura inferencial de um argumento.

Para diagramar um argumento fazemos


o seguinte:

Como Diagramar?

Circular os indicadores de inferncia;


Identificar cada enunciado e coloc-los entre
colchetes numerando-os;
Se vrias premissas compem uma etapa de
raciocnio, escrever seus nmeros numa fila, ligados
pelo smbolo "+", e sublinhar a fila.
Se uma etapa do raciocnio for formada por apenas
uma premissa, escrever apenas o seu nmero.
Desenhar uma seta para baixo a partir da fila de
premissa(s) para o nmero que representa a
concluso da etapa.
Repetir esse procedimento se o argumento contiver
mais de uma etapa.

Diagrama de Argumento.

Como diagramar um argumento:


Exerccio
"Hoje quarta-feira ou sexta-feira.
Mas no pode ser quarta-feira, pois o
consultrio do mdico estava aberto
esta manh, e aquele consultrio est
sempre fechado s quartas. Portanto,
hoje deve ser sexta-feira."

Diagrama de Argumento.

Como diagramar um argumento?


Identificar os indicadores de inferncia:
"1[Hoje quarta-feira ou sexta-feira]. Mas
2[no pode ser quarta-feira], pois 3[o
consultrio do mdico estava aberto esta
manh], e 4[aquele consultrio est sempre
fechado s quartas]. Portanto, 5[hoje deve
ser sexta-feira]."

Diagrama de Argumento.

Como diagramar um argumento?


3+4

1+2
5

3 junto com 4 justificativa para 2, o


qual junto com 1 justificativa para 5

Cada seta representa uma etapa do


raciocnio
3,4 e 1 so as premissas bsicas
2 premissa no-bsica.
5 a concluso final

Diagrama de Argumento.
Exemplo
"Watts est em Los Angeles e est,
portanto, nos EUA e logo faz parte de
uma nao plenamente industrializada.
Assim, ele no faz parte do Terceiro
Mundo, pois o Terceiro Mundo
caracterizado por naes em
desenvolvimento e naes em
desenvolvimento no esto por definio,
plenamente industrializadas."

Diagrama de Argumento.
Exemplo
Soluo:
"1[Watts est em Los Angeles] e 2[est,
portanto, nos EUA] e logo 3[faz parte de uma
nao plenamente industrializada]. Assim, 4[
ele no faz parte do Terceiro Mundo], pois
5[o Terceiro Mundo caracterizado por
naes em desenvolvimento] e 6[naes em
desenvolvimento no esto por definio,
plenamente industrializados]."

Diagrama de Argumento.
Exemplo
Diagramao:
1
2

3+5+6
4

Diagrama de Argumento.
Observao
Em algumas sentenas aparecem locues
que no podem ser desmembradas em seus
componentes:
ou....ou, se.....ento...., somente se, contanto
que, se e somente se, nem...nem, a menos que,
at, quando, antes que;
desde que e porque quando no utilizados
como indicadores de premissas.

Diagrama de Argumento.
Exemplo
"O Cheque perder a validade a menos
que ele seja descontado dentro de 30
dias. O cheque est datado de 2 de
setembro e hoje 6 de outubro.
Portanto, o cheque no vale mais. Voc
no pode descontar um cheque que no
vale. Assim, voc no pode descontar
este cheque."

Diagrama de Argumento.
Exemplo
Soluo:
"1[O Cheque perder a validade a menos que
ele seja descontado dentro de 30 dias].
2[O cheque est datado de 2 de setembro]
e 3[hoje 6 de outubro]. Portanto, 4[o
cheque no vale mais]. 5[Voc no pode
descontar um cheque que no vale]. Assim,
6[voc no pode descontar este cheque]."

Diagrama de Argumento.
Exemplo
Diagramao:
1+2+3
4+5
6

Diagrama de Argumento.
Exerccios
1) Se voc estudar e fizer exerccios ento
aprender. Voc vai aprender, pois vai estudar e
fazer exerccios.
2) Voc vai estudar, pois, para fazer boa prova voc
estuda ou cola. Voc no deve colar.

3) Como o hbito de comer em excesso contribui


para vrias doenas, ele pode contribuir para a
destruio da sua sade. Mas a sua sade a
coisa mais importante para voc. Assim, voc no
deveria, habitualmente, comer em excesso.

Teste de QI de
Einstein
Albert Einstein criou este teste de
qi(raciocnio lgico) no sculo passado
e afirmou que 98% da populao
mundial no capaz de resolv-lo.
http://rachacuca.com.br/teste-de-einstein/

Dicas:
O Ingls vive na casa Vermelha.
O Sueco tem Cachorros como animais de
estimao.
Problema:
H 5 casas de diferentes O Dinamarqus bebe Ch.
A casa Verde fica do lado esquerdo da
....cores;
casa Branca.
O homem que vive na casa Verde bebe
Em cada casa mora uma
Caf.
pessoa de uma diferente
O homem que fuma Pall Mall cria
nacionalidade;
Pssaros.
O homem que vive na casa Amarela fuma
Esses 5 proprietrios
Dunhill.
bebem diferentes bebidas,
homem que vive na casa do meio bebe
fumam diferentes tipos de O
Leite.
cigarros e tm um certo
O Noruegus vive na primeira casa.
animal de estimao;
O homem que fuma Blends vive ao lado do
que tem Gatos.
Nenhum deles tm o mesmo
O homem que cria Cavalos vive ao lado do
animal, fumam o mesmo
que fuma Dunhill.
cigarro ou bebem a mesma O homem que fuma BlueMaster bebe
Cerveja.
bebida.
O Alemo fuma Prince.
A Questo a seguinte:
O Noruegus vive ao lado da casa Azul.
Quem tem um peixe como
O homem que fuma Blends vizinho do
que bebe gua.
animal de estimao?

Problema da Ilha Tropical


Cinco casais aproveitaram alguns dias
de folga numa ilha tropical. Descubra
o que eles fizeram e o que compraram
de souvenir.
http://rachacuca.com.br/logica/problemas/ilha-tropical/

O marido da Tatiana est na terceira posio.


Cristiano est ao lado de quem casado com a Pamela.
O homem do shorts Azul est em algum lugar direita do
homem de shorts Verde.
Mario est exatamente esquerda do rapaz que praticou
Dana com a esposa.
O Publicitrio est ao lado quem comprou um Postal de
souvenir.
O homem do shorts Azul est em algum lugar esquerda de
quem casado com a Pamela.
Na segunda posio est o rapaz que comprou um Postal.
O Corretor est ao lado do homem de shorts Verde.
Frederico est exatamente esquerda do rapaz que
praticou Mergulho com a esposa.
Na terceira posio est o marido que danou com a esposa.
O marido da Tatiana est ao lado do marido da Isabela.
Roberto est na primeira posio.

Quem praticou Dana est em algum lugar direita do rapaz


de shorts Azul.
O homem que comprou um Chapu est exatamente direita
do que est de shorts Amarelo.
O marido do shorts Amarelo est em algum lugar esquerda
do Jornalista.
O marido do casal que esquiou est em algum lugar entre o
marido da Cristina e o homem que mergulhou, nessa ordem.
Na quinta posio est o marido que surfou acompanhado da
esposa.
O rapaz do shorts Azul est em algum lugar esquerda do
marido da Isabela.
Quem comprou um Im de souvenir est ao lado do marido
que danou.
O Publicitrio est exatamente esquerdado do Advogado.
O homem do shorts Vermelho est em algum lugar
esquerda do homem que comprou um Chapu.
O Corretor est em algum lugar entre quem comprou uma
Camiseta e o Advogado, nessa ordem

Você também pode gostar