aula5 [modo de compatibilidade] · como analisar a validade 4. 08/04/2012 2 como analisar a...
TRANSCRIPT
![Page 1: Aula5 [Modo de Compatibilidade] · Como analisar a validade 4. 08/04/2012 2 Como analisar a validade 5 ... Verifique a validade dos argumentos: 22 Exercícios 2)Verifique se o argumento](https://reader031.vdocuments.mx/reader031/viewer/2022022716/5c141a8809d3f25e338b6267/html5/thumbnails/1.jpg)
08/04/2012
1
IFMG-Formiga
Lógica para
Ciência da Computação
Profª. Danielle Costa
Argumentos válidos e inválidos
2
Argumentos válidos e inválidos
3
Como analisar a validade
4
![Page 2: Aula5 [Modo de Compatibilidade] · Como analisar a validade 4. 08/04/2012 2 Como analisar a validade 5 ... Verifique a validade dos argumentos: 22 Exercícios 2)Verifique se o argumento](https://reader031.vdocuments.mx/reader031/viewer/2022022716/5c141a8809d3f25e338b6267/html5/thumbnails/2.jpg)
08/04/2012
2
Como analisar a validade
5
Como analisar a validade
6
Argumentos válidos: Modus
Ponens
7
Argumentos válidos: Modus
Ponens
8
![Page 3: Aula5 [Modo de Compatibilidade] · Como analisar a validade 4. 08/04/2012 2 Como analisar a validade 5 ... Verifique a validade dos argumentos: 22 Exercícios 2)Verifique se o argumento](https://reader031.vdocuments.mx/reader031/viewer/2022022716/5c141a8809d3f25e338b6267/html5/thumbnails/3.jpg)
08/04/2012
3
Argumentos válidos: Modus
Tollens
9
Argumentos válidos: Adição
Disjuntiva
10
Argumentos válidos:
Simplificação Conjuntiva
11
Argumentos válidos: Silogismo
Disjuntivo
12
![Page 4: Aula5 [Modo de Compatibilidade] · Como analisar a validade 4. 08/04/2012 2 Como analisar a validade 5 ... Verifique a validade dos argumentos: 22 Exercícios 2)Verifique se o argumento](https://reader031.vdocuments.mx/reader031/viewer/2022022716/5c141a8809d3f25e338b6267/html5/thumbnails/4.jpg)
08/04/2012
4
Argumentos válidos: Silogismo
Hipotético
13
Argumentos válidos: Silogismo
Hipotético
14
Argumentos válidos: Silogismo
Hipotético
15
Argumentos válidos: Contradição
16
![Page 5: Aula5 [Modo de Compatibilidade] · Como analisar a validade 4. 08/04/2012 2 Como analisar a validade 5 ... Verifique a validade dos argumentos: 22 Exercícios 2)Verifique se o argumento](https://reader031.vdocuments.mx/reader031/viewer/2022022716/5c141a8809d3f25e338b6267/html5/thumbnails/5.jpg)
08/04/2012
5
Argumentos válidos: Dilema:
Prova por divisão em casos
17
Argumentos válidos: Dilema:
Prova por divisão em casos
18
Deduções mais complexas
19
Deduções mais complexas
20
![Page 6: Aula5 [Modo de Compatibilidade] · Como analisar a validade 4. 08/04/2012 2 Como analisar a validade 5 ... Verifique a validade dos argumentos: 22 Exercícios 2)Verifique se o argumento](https://reader031.vdocuments.mx/reader031/viewer/2022022716/5c141a8809d3f25e338b6267/html5/thumbnails/6.jpg)
08/04/2012
6
Regras de Inferência: Sumário
21
Exercícios
1)Verifique a validade dos argumentos:
22
Exercícios
2)Verifique se o argumento é válido ou não.
23
Exercícios
3) Utilizando o processo de inferência determine:
a) Se o dia está ensolarado, então a professora está
feliz
b) Se a professora está feliz, então a aula vai ser boa
c) O dia está ensolarado
Pergunta: pode-se inferir que a aula vai ser boa?
24
![Page 7: Aula5 [Modo de Compatibilidade] · Como analisar a validade 4. 08/04/2012 2 Como analisar a validade 5 ... Verifique a validade dos argumentos: 22 Exercícios 2)Verifique se o argumento](https://reader031.vdocuments.mx/reader031/viewer/2022022716/5c141a8809d3f25e338b6267/html5/thumbnails/7.jpg)
08/04/2012
7
Exercícios
há apenas uma interpretação para E, P e B que faz com que as
regras e eventos presentes sejam todos verdadeiros (1a. linha da
tabela) e, nessa interpretação, tem-se que B é V. Logo, conclui-se
que a aula vai ser boa.
25
Exercícios
4) Considere o seguinte texto descritivo:
“Suponhamos que Sócrates está em tal situação
que ele estaria disposto a visitar Platão, só se
Platão estivesse disposto a visitá-lo; e que Platão
está em tal situação que ele não estaria disposto a
visitar Sócrates se Sócrates estivesse disposto a
visitá-lo, mas estaria disposto a visitar Sócrates se
Sócrates não estivesse disposto a visitá-lo.”
Pergunta: Sócrates está disposto a visitar
Platão ou não?
26
Exercícios
4)
27