MTM5801 - H-C alculo I - 2011/01 Prof.

Gilles Gon calves de Castro

Tabelas-verdade
(Com aplica co es para opera c oes em conjuntos)
Apresentamos alguns elementos da l ogica matem atica (ver por exemplo [1] e [2]) e como utilizar tais elementos para fazer algumas demonstra c oes com teoria de conjuntos (ver por exemplo [3]). Deni c ao 1 Uma proposi c ao e um conjunto de palavras ou s mbolos que exprimem um pensamento de sentido completo. Deni c ao 2 Uma proposi c ao simples e aquela que n ao cont em outra proposi c ao como parte integrante de si mesma. Exemplos de proposi c oes simples: p: Pedro e estudante. q: O n umero 25 e um quadrado perfeito. r: x A Deni c ao 3 Uma proposi c ao composta e aquela feita pela composi c ao de duas ou mais proposi c oes. Exemplos de proposi c oes compostas: P: Pedro e estudante e Maria e professora. Q: Se o n umero 25 e quadrado perfeito ent ao a raiz quadrada de 25 e um n umero inteiro. R: x A ou x B. Uma tabela-verdade apresenta todos os valores l ogicos poss veis para uma proposi ca o simples, a combina cao v arias proposi co es simples e o eventual valor l ogico de um proposi ca o composta para cada combina ca o dos valores das proposi c oes simples que a formam. Na l ogica cl assica, trabalhamos com o princ pio do terceiro exclu do, ou seja, dada uma proposi ca o qualquer, os u nicos valores que ela pode assumir e V ou F . Se temos apenas uma proposi c ao simples p, sua tabela-verdade seria: p V F 1

Com duas proposi co es simples p e q, temos: p V V F F q V F V F

Note que o n umero de casos poss veis para n proposi co es simples e 2n . Observa c ao 4 Em alguns casos, j a sabemos que o valor l ogico de uma proposi c ao. Nestes casos, na hora de montar a tabela verdade, n ao usaremos todos os valores l ogicos poss veis, mas apenas aquele que a proposi c ao assume. Por exemplo, a proposi c ao p:x e sempre falta, ent ao sua tabela verdade seria: p F Para proposi co es compostas, usaremos alguns conectivos b asicos ou combina co es delas. Vejamos as principais: Nega c ao: (s mbolo: ) p V F p l e-se n ao p. Conjun c ao: (s mbolo: ) p V V F F pq l e-se p e q. q V F V F pq V F F F p F V

Disjun c ao: (s mbolo: ) p V V F F pq l e-se p ou q. Condicional: (s mbolo: ) p V V F F pq l e-se se p ent ao q. 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 e-se p se e somente se q. Deni c ao 5 Dizemos que duas proposi c oes P(p,q,. . .) e Q(p,q,. . .) s ao equivalente se elas possuem a mesma tabela-verdade. Exemplo 6 Sejam p e q s ao duas proposi c ao. pq e equivalente a q p. 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

Observa c ao 7 Gra cas a esse exemplo, ao inv es de mostrarmos uma arma c ao do tipo se p ent ao q, podemos mostrar sua forma equivalente se n ao q ent ao n ao p. Uma demonstra c ao desse tipo e chamada de prova pela contrapositiva. Agora, vejamos como demonstrar algumas igualdades de conjuntos usando tabela verdade. Lembre que a uni ao corresponde ao conectivo ou e a intersec ca o corresponde ao conectivo e. Exemplo 8 A = A Seja p: x A e q: x e note que q assume apenas o valor l ogico F . Nossa igualdade e o mesmo que pq e equivalente a p. p V F q F F pq V F

Exemplo 9 A (B C ) = (A B ) (A C ) Neste caso as proposi c oes s ao p: x A, q: x B e r: x C . Nossa igualdade se transforma em p(qr) e equivalente a (pq)(pr) 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

Refer encias
[1] Cezar A. Mortari, Introdu c ao ` a L ogica, Editora Unesp. [2] Edgar de Alencar Filho, Inicia c ao ` a L ogica Matem atica, Editora Nobel. [3] Elon Lages Lima, Curso de An alise Volume 1, Projeto Euclide, IMPA.