Principio da demonstração
-
Upload
marcos-devaner -
Category
Education
-
view
152 -
download
1
description
Transcript of Principio da demonstração
![Page 1: Principio da demonstração](https://reader036.fdocuments.net/reader036/viewer/2022082812/55939c5f1a28ab14718b458f/html5/thumbnails/1.jpg)
Principio da demonstração
Prof. Marcos Devaner
Introdução a lógica computacional
Aula 03
www.integrar-online.blogspot.com
![Page 2: Principio da demonstração](https://reader036.fdocuments.net/reader036/viewer/2022082812/55939c5f1a28ab14718b458f/html5/thumbnails/2.jpg)
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.
![Page 3: Principio da demonstração](https://reader036.fdocuments.net/reader036/viewer/2022082812/55939c5f1a28ab14718b458f/html5/thumbnails/3.jpg)
Principio da demonstração
![Page 4: Principio da demonstração](https://reader036.fdocuments.net/reader036/viewer/2022082812/55939c5f1a28ab14718b458f/html5/thumbnails/4.jpg)
Exemplo de demonstração
![Page 5: Principio da demonstração](https://reader036.fdocuments.net/reader036/viewer/2022082812/55939c5f1a28ab14718b458f/html5/thumbnails/5.jpg)
Praticando
Dado o teorema (argumento)
Demostre que este é um argumento válido.
Resposta:
![Page 6: Principio da demonstração](https://reader036.fdocuments.net/reader036/viewer/2022082812/55939c5f1a28ab14718b458f/html5/thumbnails/6.jpg)
Fim
Obrigado!Veja mais em
www.integrar-online.blogspot.com
![Page 7: Principio da demonstração](https://reader036.fdocuments.net/reader036/viewer/2022082812/55939c5f1a28ab14718b458f/html5/thumbnails/7.jpg)
Fim
Obrigado!Veja mais em
www.integrar-online.blogspot.com