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. 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 VV F F V F F VF V V F V F VF F V V V V V

Este é um teorema válido, pois o resultado é uma tautologia.

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