Principio da
demonstração
Prof. Marcos Devaner
Introdução a lógica computacional
Aula 03
www.integrar-online.blogspot.com
Demonstração e teorema
É necessário demonstrar a validade do argumento, para isto, utilizamos técnicas
de demonstração. Pa...
Principio da demonstração
Exemplo de demonstração
Praticando
Dado o teorema (argumento)
Demostre que este é um argumento válido.
Resposta:
Fim
Obrigado!
Veja mais em
www.integrar-online.blogspot.com
Fim
Obrigado!
Veja mais em
www.integrar-online.blogspot.com
Próximos SlideShares
Carregando em…5
×

Principio da demonstração

453 visualizações

Publicada em

Esta aula mostra os principios para demonstração de teoremas.

Publicada em: Educação
0 comentários
0 gostaram
Estatísticas
Notas
  • Seja o primeiro a comentar

  • Seja a primeira pessoa a gostar disto

Sem downloads
Visualizações
Visualizações totais
453
No SlideShare
0
A partir de incorporações
0
Número de incorporações
1
Ações
Compartilhamentos
0
Downloads
2
Comentários
0
Gostaram
0
Incorporações 0
Nenhuma incorporação

Nenhuma nota no slide

Principio da demonstração

  1. 1. Principio da demonstração Prof. Marcos Devaner Introdução a lógica computacional Aula 03 www.integrar-online.blogspot.com
  2. 2. Demonstração e teorema É necessário demonstrar a validade do argumento, para isto, utilizamos técnicas de demonstração. Para demonstrações são utilizados teoremas. Teorema: é uma proposição da forma: (proposição1 ^ proposição2 ^ ...proposição n) → Q Para que um teorema seja válido ele deve ser uma tautologia. Exemplo: dado o teorema- (~ Q ^ (P → Q)) → ~P . Vejamos a tabela verdade: P Q ~P ~Q (P → Q) ~ Q ^ (P → Q) ~ Q ^ (P → Q) → ~P V V F F V F V V F F V F F V F V V F V F V F F V V V V V Este é um teorema válido, pois o resultado é uma tautologia.
  3. 3. Principio da demonstração
  4. 4. Exemplo de demonstração
  5. 5. Praticando Dado o teorema (argumento) Demostre que este é um argumento válido. Resposta:
  6. 6. Fim Obrigado! Veja mais em www.integrar-online.blogspot.com
  7. 7. Fim Obrigado! Veja mais em www.integrar-online.blogspot.com

×