aula de matematica discreta do curso de sistema de informação da faculdade veiga de almeida

1. 1

2. 2

3. 3

4. 4

5. 5

6. 6

7. 7

8. 8

9. • Nota: silogismo é o nome que se dá a um argumento que conta com duas
premissas e uma conclusão.
9

10. 10

11. 11

12. 12

13. 13

14. 14

15. • Note que a condicional associada a um argumento é somente uma maneira
diferente de escrever o argumento.
15

16. 16

17. 17

18. 18

19. 19

20. • Os argumentos válidos acima são fundamentais e básicos (de uso corrente) na
lógica matemática.
• A validade dos argumentos acima é consequência imediata das tabelas
verdades que aprendemos em Matemática Discreta I e do teorema anterior.
20

21. 21

22. 22

23. • Os argumentos válidos acima são fundamentais e básicos (de uso corrente) na
lógica matemática.
• A validade dos argumentos acima é consequência imediata das tabelas
verdades que aprendemos em Matemática Discreta I e do teorema anterior.
23

24. • Os argumentos válidos acima são fundamentais e básicos (de uso corrente) na
lógica matemática.
• A validade dos argumentos acima é consequência imediata das tabelas
verdades que aprendemos em Matemática Discreta I e do teorema anterior.
24

25. • Os argumentos válidos acima são fundamentais e básicos (de uso corrente) na
lógica matemática.
• A validade dos argumentos acima é consequência imediata das tabelas
verdades que aprendemos em Matemática Discreta I e do teorema anterior.
25

26. 26

27. • Os argumentos válidos acima são fundamentais e básicos (de uso corrente) na
lógica matemática.
• A validade dos argumentos acima é consequência imediata das tabelas
verdades que aprendemos em Matemática Discreta I e do teorema anterior.
27

28. • Os argumentos válidos acima são fundamentais e básicos (de uso corrente) na
lógica matemática.
• A validade dos argumentos acima é consequência imediata das tabelas
verdades que aprendemos em Matemática Discreta I e do teorema anterior.
28

29. 29

30. • Livro Texto:
 FILHO, Edgar de Alencar. Iniciação à Lógica Matemática. São Paulo:
Nobel, 2000.
30

31. 31

32. 32