Lógica para Ciência da Computação

Prévia do material em texto

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
Como analisar a validade
5
Como analisar a validade
6
Argumentos válidos: Modus 
Ponens
7
Argumentos válidos: Modus 
Ponens
8
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
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
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
Uma dedução consiste em uma seqüência de fórmulas, cada uma
delas ou é uma premissa ou obtida de fórmulas anteriores pela 
aplicação de regras de inferência.
Deduções mais complexas
20
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) 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
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 se Platão 
estivesse disposto a visitá-lo; 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