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