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
Top Related