IFMG-Formiga
Lógica para
Ciência da Computação
Argumentos válidos e inválidos
Argumentos válidos e inválidos
Como analisar a validade
Como analisar a validade
Como analisar a validade
Argumentos válidos: Modus Ponens
Argumentos válidos: Modus Ponens
Argumentos válidos: Modus Tollens
Argumentos válidos: Adição Disjuntiva
Argumentos válidos: Simplificação Conjuntiva
Argumentos válidos: Silogismo Disjuntivo
Argumentos válidos: Silogismo Hipotético
Argumentos válidos: Silogismo Hipotético
Argumentos válidos: Silogismo Hipotético
Argumentos válidos: Contradição
Argumentos válidos: Dilema: Prova por divisão em casos
Argumentos válidos: Dilema: Prova por divisão em casos
Deduções mais complexas
19
Deduções mais complexas
Regras de Inferência: Sumário
Exercícios
1)Verifique a validade dos argumentos:
Exercícios
2)Verifique se o argumento é válido ou não.
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?
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.
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?
Exercícios
4)