Lógica_para_SI_-_1-3

Prévia do material em texto

Lógica para SI
Fernando Castilho
Lógica
Inferência
Conjunto de proposições para as quais as premissas são apresentadas como fundamentação para a conclusão
Proposição
Um enunciado, que é verdadeiro ou falso
Premissa 
Uma ou mais proposições dadas para fundamentar uma conclusão
Conclusão
Proposição final de uma inferência, que se pretende obter a partir das premissas
Lógica
Conteúdo de Verdade
A verdade ou a falsidade efetiva de uma proposição e os métodos para a sua determinação
A informação recebida é verdadeira ou é falsa ?
Componente lógico
Relação Lógica entre premissas e conclusão
O que eu posso concluir a partir da informação que recebi ?
Lógica
Conteúdo verdade x Componente lógico
CV – Geralmente analisado para cada premissa, independentemente das demais
CL – Foco na relação entre as premissas e a conclusão
Perguntas na análise do componente lógico:
O que ocorre se as premissas forem verdadeiras ?
Como a verdade ou falsidade das premissas se relacionam-se com a verdade ou falsidade da conclusão ?
As premissas fundamentam a conclusão ?
As premissas oferecem boas razões para se aceitar a conclusão ?
Lógica
Exemplo 1:
João tem altura entre 1,70 e 1,90 m
Marcos tem altura entre 1,80 e 2 m
Marcos é mais alto que João
Análise
CV – duas premissas verdadeiras
Qual a relação lógica entre as premissas e a conclusão ?
A conclusão pode indicar que Marcos é mais alto, ou mais baixo, ou da mesma altura que João
Podemos determinar a relação lógica entre as premissas e a conclusão sem conhecer a falsidade ou a verdade das premissas.
Lógica
Exemplo 2:
João tem entre 1,70 e 1,79 m de altura
Marcos tem entre 1,80 e 2 m de altura
Marcos é mais alto que João
Análise
CV - Premissas verdadeiras
Qualquer que seja a altura de cada um, a relação será tal que a conclusão sempre será verdadeira. As premissas garantem que a conclusão será verdadeira (CL).
Lógica
Exemplo 3:
João tem entre 1,70 e 1,79 m de altura
Marcos tem entre 1,80 e 2 m de altura
Marcos é mais baixo que João
Análise
CV - Premissas verdadeiras
Qualquer que seja a altura de cada um, a relação será tal que a conclusão sempre será falsa. As premissas Não conseguem garantir tal conclusão (CL).
Lógica
O que podemos concluir do conjunto de exemplos ?
Qual a importância de se analisar separadamente conteúdo verdade e componente lógico ?
Lógica
Erro de Conteúdo Verdade (EV)
Quando a informação dada é falsa
Erro de Componente Lógico (EL)
Quando as premissas, mesmo verdadeiras, permitem que a conclusão seja falsa
Exercícios
1 – Defina se há erros de CV e CL nas seguintes inferências
São Paulo está a oeste do Rio de Janeiro
São Paulo está a oeste de Vitória
O Rio de Janeiro está a oeste de Vitória
Natal está ao norte de Maceió
Maceió está ao norte do Rio de Janeiro
Natal está ao norte do Rio de Janeiro
Exercícios
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 “NÃO”, então não abra essa porta !
Quando é que alguém pode abrir a porta ?
Reflexão
Qual a importância de se considerar separadamente a análise de conteúdo verdade e a análise de conteúdo lógico ?
Atividade - Teste de Einstein
Regras rígidas a considerar
Há 5 casas de diferentes cores;
Em cada casa mora uma pessoa de uma diferente nacionalidade;
Esses 5 proprietários bebem diferentes bebidas, fumam diferentes tipos de cigarros e têm um certo animal de estimação;
Nenhum deles têm o mesmo animal, fumam o mesmo cigarro ou bebem a mesma bebida.
Atividade - Teste de Einstein
O Norueguês vive na primeira casa.		
O Inglês vive na casa Vermelha.
O Sueco tem Cachorros como animais de estimação.
O Dinamarquês bebe Chá.		
O Alemão 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 Pássaros.
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 Norueguês vive ao lado da casa Azul.
O homem que fuma Blends é vizinho do que bebe Água.
Atividade – Teste de Einstein