MTM5801 - H-Clculo I - 2011/01 a Prof.

Gilles Gonalves de Castro c

Tabelas-verdade
(Com aplicaoes para operaes em conjuntos) c co
Apresentamos alguns elementos da lgica matemtica (ver por exemplo o a [1] e [2]) e como utilizar tais elementos para fazer algumas demonstraes co com teoria de conjuntos (ver por exemplo [3]). Denio 1 Uma proposio um conjunto de palavras ou smbolos que ca ca e exprimem um pensamento de sentido completo. Denio 2 Uma proposio simples aquela que no contm outra proca ca e a e posio como parte integrante de si mesma. ca Exemplos de proposies simples: co p: Pedro estudante. e q: O nmero 25 um quadrado perfeito. u e r: x A Denio 3 Uma proposio composta aquela feita pela composio de ca ca e ca duas ou mais proposies. co Exemplos de proposies compostas: co P: Pedro estudante e Maria professora. Q: Se o nmero 25 quadrado e e u e perfeito ento a raiz quadrada de 25 um nmero inteiro. R: x A ou a e u x B. Uma tabela-verdade apresenta todos os valores lgicos poss o veis para uma proposiao simples, a combinaao vrias proposioes simples e o eventual c c a c valor lgico de um proposiao composta para cada combinaao dos valores o c c das proposies simples que a formam. co Na lgica clssica, trabalhamos com o princ o a pio do terceiro exclu do, ou seja, dada uma proposiao qualquer, os unicos valores que ela pode assumir c V ou F . e Se temos apenas uma proposio simples p, sua tabela-verdade seria: ca p V F 1

Com duas proposioes simples p e q, temos: c p V V F F q V F V F

Note que o nmero de casos poss u veis para n proposioes simples 2n . c e Observao 4 Em alguns casos, j sabemos que o valor lgico de uma proca a o posio. Nestes casos, na hora de montar a tabela verdade, no usaremos ca a todos os valores lgicos possveis, mas apenas aquele que a proposio aso ca sume. Por exemplo, a proposio p:x sempre falta, ento sua tabela verca e a dade seria: p F Para proposioes compostas, usaremos alguns conectivos bsicos ou comc a binaoes delas. Vejamos as principais: c Negao: (s ca mbolo: ) p V F p l-se no p. e a Conjuno: (s ca mbolo: ) p V V F F pq l-se p e q. e q V F V F pq V F F F p F V

Disjuno: (s ca mbolo: ) p V V F F pq l-se p ou q. e Condicional: (s mbolo: ) p V V F F pq l-se se p ento q. e a Bicondicional (s mbolo: ) p V V F F q V F V F pq V F F V q V F V F pq V F V V q V F V F pq V V V F

pq l-se p se e somente se q. e Denio 5 Dizemos que duas proposies P(p,q,. . .) e Q(p,q,. . .) so equica co a valente se elas possuem a mesma tabela-verdade. Exemplo 6 Sejam p e q so duas proposio. pq equivalente a q p. a ca e Construindo a tabela-verdade: p V V F F q V F V F q F V F V p F F V V 3 pq V F V V q p V F V V

Observao 7 Graas a esse exemplo, ao invs de mostrarmos uma armao ca c e ca do tipo se p ento q, podemos mostrar sua forma equivalente se no q a a ento no p. Uma demonstrao desse tipo chamada de prova pela contraa a ca e positiva. Agora, vejamos como demonstrar algumas igualdades de conjuntos usando tabela verdade. Lembre que a unio corresponde ao conectivo ou e a ina tersecao corresponde ao conectivo e. c Exemplo 8 A = A Seja p: x A e q: x e note que q assume apenas o valor lgico F . o Nossa igualdade o mesmo que pq equivalente a p. e e p V F q F F pq V F

Exemplo 9 A (B C) = (A B) (A C) Neste caso as proposies so p: x A, q: x B e r: x C. Nossa co a igualdade se transforma em p(qr) equivalente a (pq)(pr) e p V V V V F F F F q V V F F V V F F r V F V F V F V F pq pr V V V V V V V V V V V F F V F F qr V F F F V F F F p(qr) V V V V V F F F (pq)(pr) V V V V V F F F

Referncias e
[1] Cezar A. Mortari, Introduo ` Lgica, Editora Unesp. ca a o [2] Edgar de Alencar Filho, Iniciao ` Lgica Matemtica, Editora Nobel. ca a o a [3] Elon Lages Lima, Curso de Anlise Volume 1, Projeto Euclide, IMPA. a