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