Vous êtes sur la page 1sur 15

Lgica para SI

Fernando Castilho

Lgica
Inferncia
Conjunto de proposies para as quais as premissas
so apresentadas como fundamentao para a
concluso

Proposio
Um enunciado, que verdadeiro ou falso

Premissa
Uma ou mais proposies dadas para fundamentar
uma concluso

Concluso
Proposio final de uma inferncia, que se pretende
obter a partir das premissas

Lgica
Contedo de Verdade
A verdade ou a falsidade efetiva de uma
proposio e os mtodos para a sua
determinao
A informao recebida verdadeira ou
falsa ?

Componente lgico
Relao Lgica entre premissas e
concluso
O que eu posso concluir a partir da
informao que recebi ?

Lgica
Contedo verdade x Componente lgico
CV Geralmente analisado para cada premissa,
independentemente das demais
CL Foco na relao entre as premissas e a
concluso
Perguntas na anlise do componente lgico:
O que ocorre se as premissas forem verdadeiras ?
Como a verdade ou falsidade das premissas se
relacionam-se com a verdade ou falsidade da concluso ?
As premissas fundamentam a concluso ?
As premissas oferecem boas razes para se aceitar a
concluso ?

Lgica
Exemplo 1:
Joo tem altura entre 1,70 e 1,90 m
Marcos tem altura entre 1,80 e 2 m
Marcos mais alto que Joo

Anlise
CV duas premissas verdadeiras
Qual a relao lgica entre as premissas e a concluso ?
A concluso pode indicar que Marcos mais alto, ou
mais baixo, ou da mesma altura que Joo
Podemos determinar a relao lgica entre as premissas
e a concluso sem conhecer a falsidade ou a verdade
das premissas.

Lgica
Exemplo 2:
Joo tem entre 1,70 e 1,79 m de altura
Marcos tem entre 1,80 e 2 m de altura
Marcos mais alto que Joo

Anlise
CV - Premissas verdadeiras
Qualquer que seja a altura de cada um, a
relao ser tal que a concluso sempre
ser verdadeira. As premissas garantem que
a concluso ser verdadeira (CL).

Lgica
Exemplo 3:
Joo tem entre 1,70 e 1,79 m de altura
Marcos tem entre 1,80 e 2 m de altura
Marcos mais baixo que Joo

Anlise
CV - Premissas verdadeiras
Qualquer que seja a altura de cada um, a
relao ser tal que a concluso sempre
ser falsa. As premissas No conseguem
garantir tal concluso (CL).

Lgica
O que podemos concluir do conjunto
de exemplos ?
Qual a importncia de se analisar
separadamente contedo verdade e
componente lgico ?

Lgica
Erro de Contedo Verdade (EV)
Quando a informao dada falsa

Erro de Componente Lgico (EL)


Quando as premissas, mesmo
verdadeiras, permitem que a concluso
seja falsa

Exerccios
1 Defina se h erros de CV e CL nas
seguintes inferncias
So Paulo est a oeste do Rio de Janeiro
So Paulo est a oeste de Vitria
O Rio de Janeiro est a oeste de Vitria
Natal est ao norte de Macei
Macei est ao norte do Rio de Janeiro
Natal est ao norte do Rio de Janeiro

Exerccios
Um cartaz diz:
Pense duas vezes antes de abrir esta
porta
1. Voc tem algo para colocar aqui
dentro ?
2. Voc tem algo seu que gostaria de
tirar daqui de dentro ?
Se a sua resposta a qualquer das
perguntas for NO, ento no abra
essa porta !

Quando que algum pode abrir a

Reflexo
Qual a importncia de se considerar
separadamente a anlise de
contedo verdade e a anlise de
contedo lgico ?

Atividade - Teste de Einstein


Regras rgidas a considerar
H 5 casas de diferentes cores;
Em cada casa mora uma pessoa de uma
diferente nacionalidade;
Esses 5 proprietrios bebem diferentes
bebidas, fumam diferentes tipos de cigarros
e tm um certo animal de estimao;
Nenhum deles tm o mesmo animal,
fumam o mesmo cigarro ou bebem a
mesma bebida.

Atividade - Teste de Einstein

O Noruegus vive na primeira casa.


O Ingls vive na casa Vermelha.
O Sueco tem Cachorros como animais de estimao.
O Dinamarqus bebe Ch.
O Alemo fuma Prince.
A casa Verde fica do lado esquerdo da casa Branca.
O homem na casa Verde bebe Caf.
O homem que fuma Pall Mall cria Pssaros.
O homem na casa Amarela fuma Dunhill.
O homem na casa do meio bebe Leite.
O homem que fuma Blends vive ao lado do que tem Gatos.
O homem que cria Cavalos vive ao lado do que fuma Dunhill.
O homem que fuma BlueMaster bebe Cerveja.
O Noruegus vive ao lado da casa Azul.
O homem que fuma Blends vizinho do que bebe gua.

Atividade Teste de Einstein