Você está na página 1de 23

gica: Notas de Aula Elementos de Lo

Christina F. E. M. Waga

IME.UERJ 2013

Sum ario
Introdu c ao 1 L ogica Proposicional 1.1 Linguagem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.1 1.1.2 1.2 Sintaxe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Sem antica: Tabelas Verdade . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 2 2 3 4 4 8

C alculo Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.1 1.2.2 1.2.3 Implica c oes e Equival encias L ogicas . . . . . . . . . . . . . . . . . . . . . Formas Normais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Demonstra c oes: Direta, Condicional e Redu c ao ao Absurdo . . . . . . . 10 14

2 Teoria de Conjuntos 2.1 2.2 2.3

Conceitos B asicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 Opera co es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

Introdu c ao
Este e um curso introdut orio de L ogica Matem atica. Os seguintes t opicos ser ao abordados: C alculo Proposicional: conectivos l ogicos, tabelas verdade, tautologias, regras de infer encia, formas normais e argumentos: demonstra ca o direta e por redu c ao ao absurdo, Algebra de Conjuntos, Algebra de Boole, Linguagem de primeira ordem, teoria e modelos e Decidibilidade: conceitua ca o b asica. Refer encias bibliogr acas importantes: 1. Alencar Filho, E., Inicia c ao ` a L ogica Matem atica, Nobel (2002). 2. Gersting, J.L., Fundamentos Matem aticos para a Ci encia da Computa c ao, LTC (1995).

Cap tulo 1 L ogica Proposicional


1.1 Linguagem
1.1.1 Sintaxe
Alfabeto S mbolos Proposicionais: p, q, r, . . . ou p1 , p2 , p3 , . . . . S mbolos Conectivos: Un ario: Nega ca o Bin arios: Conjun ca o Disjun ca o Condicional Bicondicional (e), (ou), (se...ent ao...), (se e somente se) (n ao)

S mbolos de par enteses: ( e )

Gram atica Deni ca o de f ormulas bem escritas ou bem formadas (w - well-formed formula): G1 Todo s mbolo proposicional e uma w. G2 Se e s ao w ent ao (), ( ), ( ), ( ) e ( ) tamb em s ao w.

1.1

Linguagem

Observa c ao 1.1.1 Alfabeto Grego eta teta iota o capa lambda m u

alfa beta gama delta eps lon zeta

n u csi om cron pi r o sigma

tau u psilon qui psi omega

1.1.2 Sem antica: Tabelas Verdade


Cada s mbolo proposicional pode assumir dois valores l ogicos ou valores de verdade, Verdadeiro (V) ou Falso (F). Assim, dados n s mbolos proposicionais teremos 2n casos a serem n considerados, isto e, 2 linhas de uma tabela de verdade. p V F p V V F F q V F V F p q V V V V V F V F F V F V F F F F r V F V F V F V F

Os valores l ogicos para as w obtidas a partir dos conectivos est ao determinados nas tabelas verdade a seguir. V F V V V F F V F F ( ) V F F F F V ( ) V F V V ( ) V F F V

( ) V V V F

Al em dos conectivos apresentados podemos incluir o s mbolo de ou exclusivo com a tabela verdade abaixo. V V F F V F V F ( ) F V V F
3

1.1

Linguagem

Exerc cio 1.1.2 Fa ca tabela verdade para cada uma das w. 1. p p 2. p (p) 3. (p q ) 4. ( p) ( q ) 5. ( p) q 6. (p q ) (q p) 7. (p (q r)) ((p q ) (p r)) 8. (p (q r)) ((p q ) r) 9. (p (q r)) ((p q ) r) 10. ((p q ) r) (p (q r)) 11. ( ) 12. ( ) 13. (( ) ) 14. (( ) ) 15. (( ) ) 16. (( ) ( )) ( ) 17. (( ) ( ) ( )) ( ) 18. (( ) ( ) ( )) ( )

1.2 C alculo Proposicional


1.2.1 Implica co es e Equival encias L ogicas
Uma w que e sempre verdadeira, isto e, todas as linhas de sua tabela verdade t em o valor l ogico V, e denominada uma tautologia. Uma contradi c ao e uma w sempre falsa. J a uma f ormula que assume tanto valores verdade quanto valores falso e uma conting encia. Existem duas maneiras de se relacionar f ormulas proposicionais. Uma w implica logicamente a w , , se sempre que a w e verdadeira, a w tamb em e, ou equivalentemente, a f ormula condicional ( ) e uma tautologia.

1.2

C alculo Proposicional

A w e logicamente equivalente a w , , se a w e verdadeira, a w tamb em e e vice-versa, ou seja, a f ormula bicondicional ( ) e uma tautologia. Considere V uma tautologia, F uma contradi ca o e , , , w quaisquer. Implica co es L ogicas ou Regras de Infer encia F V Simplica ca o Adi ca o Conjun ca o , Modus Ponens ( ) Modus Tollens ( ) Silogismo Disjuntivo ( ) Silogismo Hipot etico ( ) ( ) Dilema Construtivo ( ) ( ) ( ) Dilema Destrutivo ( ) ( ) ( ) Equival encias L ogicas ( ) ( ) ( ) ( ) V FF F

Idempot encia Comutativa Associativa Elemento Neutro Elemento Zero


Princ pio da N ao Contradi c ao Princ pio do Terceiro Exclu do

( ) ( ) ( ) ( ) F VV

Dupla Nega ca o Distributiva Absor ca o Semiabsor ca o De Morgan


Forma Disjuntiva do Condicional (Lei de Filo)

Regra de Clavius
Forma Conjuntiva do Bicondicional Forma Conjuntiva do Ou Exclusivo

Fortalecimento da Hip otese Redu ca o ao Absurdo

V ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) () ( ) ( ) () ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) F

Dada uma w condicional ( ), diz-se que a w ( ) e sua rec proca, a w ( ) e a contrapositiva e ( ) e a sua contr aria. E se relacionam da seguinte forma:

1.2

C alculo Proposicional

Contrapositiva

( ) ( ) ( ) ( )

A lista (incompleta) de implica co es e equival encias l ogicas nos fornece um elenco de regras de reescrita, denominadas regras de dedu c ao, que preservam o valor verdade das w. Para se decidir se uma w implica logicamente uma w podemos usar duas abordagens, por Tabela Verdade ou por Regras de Dedu c ao. Por exemplo, vamos mostrar que a regra de Modus Ponens e v alida. Tabela Verdade V V V F F V F F (( ) V F V V V F F F ) V V F F V F V F V V V F F V F F (( ) V F V V ) V V F V F F F F V V V F V V V F

ou

Regras de Dedu c ao 1. Usando somente equival encias w (( ) ) (( ) )) ( ) ( ) V V justicativa FDC Abs DM Assoc. e Comut. do PTE EA do

2. Usando equival encias e regras de infer encia w ( ) ( ) Exerc cios 1.2.1 1. Fa ca tabela verdade para cada uma das w bicondicionais associadas a `s equival encias l ogicas. 2. Verique, usando tabela verdade e as regras, se: (a)
6

justicativa FDC Abs Simpl.

1.2

C alculo Proposicional

(b) (c) (d) (e) (f) (g) (h) ( ) (i) ( ) (j) ( ) ( ) (k) ( ) ( ) ( ) (l) ( ) ( ) ( ) (m) ( ) ( ) ( ) ( ) 3. Responda, usando as regras. (a) (b) ( ) (c) (d) (e) ( ) (f) ( ) (g) ( ) ( ) ( ) (h) ( ) ( ) ( ) 4. Simplique as f ormulas. (a) ( ) (b) ( ) (c) ( ) (d) ( ) (e) ( ) ) (f) ( ) ( ) (g) ( ) ( ) (h) ( ( )) (i) (( ) ) (j) ( ( )) (k) (( ) ) (l) ( ) ( )
7

1.2

C alculo Proposicional

1.2.2 Formas Normais


Dentre os conectivos l ogicos , , , , e , tr es exprimem-se em termos de apenas dois, {, }, {, } e {, }, denominados conjuntos completos de conectivos. Considere o conjunto {, }, temos: Para o conjunto {, }, temos: E, para {, }, temos: ( ) (( ) ( )) ( ) ( ) (1.9) (1.10) (1.11) (1.12) ( ) (( ) ( )) ( ) ( ) (1.5) (1.6) (1.7) (1.8) ( ) ( ) ( ) ( ) ( ) ( ) (1.1) (1.2) (1.3) (1.4)

Diz-se que uma w est a na forma normal (FN) quando contem somente os conectivos , e . Toda w e logicamente equivalente a um w na forma normal. Exemplo 1.2.2 A w (( ) ( )) n ao est a na forma normal. Observe que, e poss vel obter pelo menos tr es formas normais equivalentes ` a w dada. wf f (( ) ( )) (f dc) F N (( ) ( )) (dm) F N ( ) ( ) (dn) FN ( ) ( ) Forma Normal Conjuntiva (FNC) Uma w est a na FNC quando: 1. Est a na forma normal. 2. N ao existem dupla nega co es. Uma nega ca o n ao tem alcance sobre uma conjun c ao nem sobre uma disjun ca o.
8

1.2

C alculo Proposicional

3. Uma disjun ca o n ao tem alcance sobre uma conjun ca o. Dada uma wf qualquer e sempre poss vel obter uma w logicamente equivalente na FNC, bastando seguir os seguintes passos. Fnc1. Eliminar os conectivos , e usando as regras de equival encia Forma Disjuntiva do Condicional e Forma Conjuntiva do Bicondicional. Fnc2. Aplicar as regras de Dupla Nega c ao e de De Morgan. Fnc3. Usar a regra Distributiva ( ) ( ) ( ). Forma Normal Disjuntiva (FND) Analogamente, uma w est a na FND quando: Uma w est a na FNC quando: 1. Est a na forma normal. 2. N ao existem dupla nega co es. Uma nega ca o n ao tem alcance sobre uma conjun c ao nem sobre uma disjun ca o. 3. Uma conjun ca o n ao tem alcance sobre uma disjun ca o. Obtendo a FND: Fnd1. Eliminar os conectivos , e usando as regras de equival encia Forma Disjuntiva do Condicional e Forma Conjuntiva do Bicondicional. Fnd2. Aplicar as regras de Dupla Nega c ao e de De Morgan. Fnd3. Usar a regra Distributiva ( ) ( ) ( ). Exerc cios 1.2.3 1. Reescreva as f ormulas do item 4 do Exerc cio 1.2.1 usando: (a) {, } (b) {, } (c) {, } 2. Determine a Forma Normal Conjuntiva das f ormulas. (a) (b) (c) ( )
9

1.2

C alculo Proposicional

(d) ( ) (e) ( ) (f) ( ) (g) ( ) (h) ( ) ) (i) ( ) ( ) (j) ( ) ( ) (k) ( ) (l) ( ) (m) ( ) ( ) (n) (o) (p) (q) ( ) (r) ( ) (s) ( ) (t) ( ) (u) ( ) (v) ( ) (w) (x) ( ) ( ) (y) ( ) ( ) (z) (( )) ( ) 3. Determine a Forma Normal Disjuntiva para as f ormulas do item anterior.

1.2.3 Demonstra co es: Direta, Condicional e Redu c ao ao Absurdo


Agora, estamos interessados em como chegar a conclus oes a partir de um conjunto de w dadas. Considere um conjunto de w = {1 , . . . , n }, n 1, e uma w . Denomina-se argumento toda arma ca o de que o conjunto tem como consequ encia ou acarreta a w , denotamos por . Diz-se tamb em que se deduz, se infere ou decorre de . Assim, e denominado conjunto de hip oteses ou premissas do argumento e a w e denominada tese ou conclus ao do argumento. Um argumento e v alido quando (1 n ) , isto e, quando a w (1 n ) e uma tautologia. Um argumento n ao v alido e um sosma ou fal acia. Assim, a validade de um argumento pode ser feita mediante o uso de tabelas verdade, como foi visto anteriormente. Uma abordagem mais eciente para vericar a validade de um
10

1.2

C alculo Proposicional

argumento consiste em deduzir ou demonstrar a conclus ao a partir do conjunto de premissas. Uma dedu c ao ou demonstra c ao direta da w a partir do conjunto de w e uma sequ encia nita de w (1 , . . . , m ) tal que: 1. Para todo i = 1, . . . , m, (a) i ou (b) i foi obtida por aplica ca o de alguma das regras de infer encia ou equival encia em certas f ormulas j , 1 j < i, anteriores. 2. m = . Exemplo 1.2.4 Uma demonstra c ao do argumento { , } e: 1 2 3 4 5

CP1 DN3 MP2,4

Outro m etodo para demonstrar a validade de argumentos do tipo e a demonstra c ao condicional, onde o enunciado e modicado para depois apresentarmos uma demonstra ca o direta. Observe que, s o e v alido quando ( ) V, que, pelo Fortalecimento da Hip otese, e equivalente a ( ) V. Assim, o argumento dado e v alido quando { } e v alido. Exemplo 1.2.5 Considere o argumento { ( ), } . Usando demonstra c ao condicional, rescrevemos o enunciado para { ( ), , } e apresentamos a demonstra c ao para o enunciado fortalecido. 1 2 3 4 5 6 7 8 ( ) ( ) ( )

FDC1 AssocC4 SD2,5 DN3 SD6,7

Finalmente, temos o m etodo da demostra c ao por redu c ao ao absurdo ou por contradi c ao, que tamb em faz uma modica ca o no enunciado dado antes de apresentar uma demonstra ca o direta. O argumento s o e v alido quando V, que, pela Redu c ao ao Absurdo, e equivalente a ( ) F V. Assim, o argumento dado e v alido quando { } F e v alido.
11

1.2

C alculo Proposicional

Exemplo 1.2.6 Considere o argumento { , } ( ). Usando demonstra c ao por redu c ao ao absurdo, rescrevemos o enunciado para { , , ( )} F e apresentamos a demonstra c ao para o enunciado modicado. 1 2 3 4 5 6 7 8 9 10 Exerc cios 1.2.7 1. Verique a validade dos argumentos apresentando demonstra c oes. (a) { ( ), , } (b) { , , } (c) { , , } (d) { , , } (e) { , , } (f) { , , } (g) { , , } (h) { , , } (i) { , , } (j) { , } (k) { , ( ) } (l) { ( ), , } (m) { , ( ) , ( )} (n) {( ) , ( ) ( ( )), } (o) { , ( ), ( ) , } (p) {( ) , , , , } ( ) (q) { , , , } (r) { , ( ), ( ), } (s) { , ( ) ( ), ( ) , } (t) { , ( ), , ( )}
12

( ) F

DN3 Simpl4 MP1,5 Simpl4 MP2,7 Conj6,8 PNC9

1.2

C alculo Proposicional

(u) { , , , ( ) ( )} (v) { , , , , } (w) {( ) ( ), , , } (x) { , , , } (y) { , , , , } (z) { , , , } 2. Use demonstra ca o condicional para demonstrar a validade dos argumentos. (a) { ( ), } (b) {() , , ( ) , () ( ( ))} (c) { ( ), } ( ) 3. Use redu ca o ao absurdo para demonstrar a validade dos argumentos. (a) { ( ), } ( ) (b) {() , ( ) , } (c) { ( ), } (d) {() , , ( ) , () ( ( )), } (e) {() , ( ) , }

13

Cap tulo 2 Teoria de Conjuntos


2.1 Conceitos B asicos
Conjuntos podem ser entendidos como cole co es de objetos distintos n ao importando a ordem em que aparecem. Estes objetos s ao denominados elementos do conjunto. Usa-se para os nomes de conjuntos A, B, C, . . . e para os elementos x, y, z, . . . . Se o objeto a e um elemento do conjunto A, diz-se que a pertence ao conjunto A, a A. O s mbolo denota a rela ca o (bin aria) existente entre elemento e conjunto, indicando a pertin encia do primeiro em rela c ao ao segundo e pode ser lida como o elemento a pertence ao conjunto A ou o elemento a est a no conjunto A. Se um elemento b n ao pertence a um conjunto A, usa-se a A. Um conjunto especial e o conjunto vazio, denotado por ou {}, e e caracterizado pelo fato de n ao possuir elementos. Existem dois princ pios importantes. O Princ pio da Extensionalidade trata da igualdade de conjuntos. Um conjunto A e igual a um conjunto B quando todo elemento do conjunto A e um elemento do conjunto B e todo elemento do conjunto B e elemento do conjunto A. A nota c ao e A = B e a rela c ao de igualdade e: Reexiva: A = A, para todo conjunto A. Sim etrica: se A = B ent ao B = A, para quaisquer conjuntos A e B . Transitiva: se A = B e B = C ent ao A = C , para quaisquer conjuntos A, B e C . O Princ pio da Especica c ao diz respeito a ` especica c ao de novos conjuntos a partir de outros. Dados um conjunto A e uma propriedade P sobre os elementos de A, ca determinado o conjunto B dos elementos de A que possuem a propriedade P . Assim, B = {x A; P (x)}.

14

2.1

Conceitos B asicos

Exemplo 2.1.1 Considere o conjunto A = {1, 2, 3, 4, 5, 6, 7, 8, 9}. E as propriedades: 1. P x e par. O conjunto obtido a partir do conjunto A e da propriedade P e: B = {x A; P (x)} = {x A; x e par} = {2, 4, 6, 8} 2. Q x e primo. Assim, C = {2, 3, 5, 7}. 3. R x e m ultiplo de 11. Ent ao D = . Uma rela ca o (bin aria) entre conjuntos e a de subconjunto. Um conjunto A e um subconjunto de um conjunto B ou A est a contido em B ou B cont em A, se todo elemento do conjunto A e tamb em um elemento do conjunto B . A nota c ao e A B e a rela c ao de subconjunto e: Reexiva: A A, para todo conjunto A. Antissim etrica: se se A B e B A ent ao A = B , para quaisquer conjuntos A e B . Transitiva: se A B e B C ent ao A C , para quaisquer conjuntos A, B e C . Outra rela ca o existente entre conjuntos e a de subconjunto pr oprio. Um conjunto A e um subconjunto pr oprio de um conjunto B ou A est a propriamente contido em B quando existe pelo menos um elemento no conjunto B que n ao pertence ao conjunto A. A nota c ao e A B e a rela c ao de subconjunto pr oprio e: Antissim etrica: se se A B e B A ent ao A = B , para quaisquer conjuntos A e B . Transitiva: se A B e B C ent ao A C , para quaisquer conjuntos A, B e C . Observa c ao 2.1.2 Podemos rever as deni c oes da seguinte forma. A B quando para todo elemento x, se x A ent ao x B . A = B quando A B e B A. A B quando A B e A B ou A B e existe x B tal que x A. O conjunto das partes ou conjunto pot encia de um conjunto A e o conjunto formado A por todos os subconjuntos de A. Este conjunto e denotado por 2 ou P (A). Assim, X 2A se, e somente se, X A. Quando os elementos de um conjunto A s ao eles mesmos conjuntos, A e denominado uma fam lia ou uma classe. Um conjunto pode ser classicado como nito quando possui um n umero nito de elementos, caso contr ario e denominado innito. A cardinalidade de um conjunto nito A indica o n umero de seus elementos, denota-se por nico elemento, isto e, A = 1, e denominado A, A ou card(A). Um conjunto A com um u conjunto unit ario. Um conjunto e denominado cont avel ou enumer avel se for nito ou se existir uma correspond encia um a um entre seus elementos e os n umeros naturais.
15

2.1

Conceitos B asicos

Exemplos 2.1.3 1. Sendo A = {0, 1, 2}, temos que 2A = {, {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}, {0, 1, 2}}. Observe que, A = 3 e 2A = 8. 2. Os conjuntos num ericos s ao conjuntos innitos. N umeros naturais inteiros racionais irracionais reais complexos

N Z Q I R C

3. O conjunto A = {1, 2, 3, 4, 5, 6, 7, 8, 9} e nito enumer avel e N, Z e Q s ao innitos enumer aveis, j a os conjuntos I, R e C s ao innitos n ao enumer aveis.

2.2 Opera c oes


As opera co es (bin arias) cl assicas em conjuntos s ao uni ao, interse c ao, diferen ca, complemento e produto cartesiano. A uni ao de dois conjuntos A e B e o conjunto A B que cont em todos os elementos do conjunto A e todos os elementos do conjunto B . A interse c ao de dois conjuntos A e B e o conjunto A B que cont em todos os elementos comuns aos conjuntos A e B . Dois conjuntos A e B s ao denominados disjuntos quando sua interse ca o e o conjunto vazio, ou seja, A B = . A diferen ca entre dois conjuntos A e B e o conjunto A B que cont em os elementos que pertencem exclusivamente ao conjunto A. Sejam conjuntos A e B tais que A B , o complemento do conjunto A em rela ca o ao conjunto B e o conjunto B A dos elementos que pertencem ao conjunto B mas n ao pertencem ao conjunto A. Todos os conjuntos podem ser considerados como subconjuntos de um certo conjunto prexado denominado conjunto universo e denotado por U . Assim, o complemento de = U A. um conjunto A U e o conjunto A O produto cartesiano de dois conjuntos A e B e o conjunto A B cujos elementos s ao todos os pares ordenados tais que a primeira ordenada e um elemento do conjunto A e a segunda um elemento do conjunto B . Devemos lembrar que dois pares ordenados s ao iguais quando as primeiras ordenadas s ao iguais e as segundas tamb em. Quando temos um produto cartesiano A A com n fatores usamos a nota ca o An .

16

2.2

Opera c oes

Exemplo 2.2.1 Sejam os conjuntos A = {a, b}, B = {b, c, d, e}, C = {a, b, c, d, e, f, g } e U = {a, . . . , z }. 1. A B = {a, b, c, d, e} 2. A B = {b} 3. A B = {a} e B A = {c, d, e} 4. B C = e C B = {a, f, g } 5. C A = {c, d, e, f, g } = {c, . . . , z } 6. A

Os conceitos apresentados podem ser visualizados utilizando-se Diagramas de Venn apresentados a seguir.

# !!" " ! !$ " !$ "

!"!""

! " "" "

% !$ " !$ " "

CBA
!$ !

! " #" "

!"#""

17

2.2

Opera c oes

Observa c ao 2.2.2 Podemos rever os conceitos da seguinte forma: x A B se, e somente se, x A ou x B . x A B se, e somente se, x A e x B . x A B se, e somente se, x A e x B . A B , x B A se, e somente se, x B A se, e somente se, x B e x A. se, e somente se, x A. xA (x, y ) A B se, e somente se, x A e y B . (x, y ) = (z, t) se, e somente se, x = z e y = t.

2.3 Teoremas
Teorema 2.3.1 A, para todo conjunto A. Prova: Para todo elemento x, x . A w (x ) e falsa e a w (x ) (x A) e verdadeira. Logo, A. Teorema 2.3.2 O conjunto vazio eu nico. Prova: (RAA) Vamos supor que existem dois conjuntos vazios . Pelo teorema anterior, e . Ent ao, = . Contradi ca o. Logo, o conjunto vazio eu nico. Teorema 2.3.3 Seja A um conjunto nito com A = n, ent ao 2A = 2n = n i= 0
n i

Teorema 2.3.4 Sejam A e B conjuntos nitos. Ent ao A B = A + B A B . Teorema 2.3.5 Sejam A = n e B = m. Ent ao A B = nm. Teorema 2.3.6 As opera c ao de uni ao e de interse c ao possuem as propriedades: 1. Associativa: para quaisquer conjuntos A, B e C (A B ) C = A (B C ) e (A B ) C = A (B C ) 2. Comutativa: para quaisquer conjuntos A e B AB =BA e AB =BA
18

2.3

Teoremas

3. Elemento Neutro: para todo conjunto A A=A=A e AU =U A=A 4. Elemento Zero: para todo conjunto A AU =U A=U e A=A= 5. Distributivas: para quaisquer conjuntos A, B e C (A B ) C = (A C ) (B C ) e A (B C ) = (A B ) (A C ) (A B ) C = (A C ) (B C ) e A (B C ) = (A B ) (A C ) 6. Idempot encia: para todo conjunto A AA=A e AA=A 7. Absor c ao: para quaisquer conjuntos A e B (A B ) A = A e (A B ) A = A 8. Complementaridade: para todo conjunto A =U e AA = AA 9. Involu c ao: para todo conjunto A =A A 10. De Morgan: para quaisquer conjuntos A e B B e AB =A B AB =A Prova: 1. x (A B ) C x (A B ) x C (x A x B ) x C x A (x B x C ) x A (B C ). x (A B ) C x (A B ) x C (x A x B ) x C x A (x B x C ) x A (B C ). 2. x A B x A x B x B x A x B A. x A B x A x B x B x A x B A.

19

2.3

Teoremas

Exerc cios 2.3.7 1. Apresente demonstra c oes para os teoremas. 2. Indique Verdadeiro ou Falso. (a) A = {a, b}. ( ){b} A ( ){a} A ( ) A ( )a A ( )B C = D

(b) A = {a, b, c}, B = {a, b}, C = {b, c, d}, D = {b} e E = {c, d}. ( )B A ( )D C ( )E e D s ao disjuntos ( )A = B

3. Considere A = {1, 2, 3, 4, 5, 6}, B = {4, 5, 6, 7, 8, 9}, C = {2, 4, 6, 8}, D = {4, 5}, E = {5, 6} e F = {4, 6}. Um conjunto G tal que G A, G B e G C e algum dos conjuntos dados? 4. Indique os conjuntos vazios. (a) A = {x Z; x e mpar e x2 = 4} (b) B = {x Z; x + 9 = 9} (c) C = {x Z; x 0 e x2 < 1} (d) D = {x Z; x2 < 1} 5. Indique o conjunto pot encia de A = {1, 2, 3, 4}. 6. D e exemplos de fam lias. 7. D e exemplo de um conjunto innito tal que exista fun ca o injetora entre este conjunto e um de seus subconjuntos pr oprios. 8. Apresente conjuntos enumer aveis innitos distintos dos apresentados no texto. 9. Seja A = {x Z; x 0 e x e m ultiplo de 2} e B = {x Z; x 0 e x e m ultiplo de 3}. Indique os conjuntos A B , A B e A B . 10. Responda, justicando. (a) Todo subconjunto de um conjunto enumer avel e nito ou enumer avel ? (b) A uni ao de conjuntos enumer aveis e enumer avel ? (c) E o produto cartesiano? 11. Considere A = n e B = m. Para cada um dos itens, apresente condi co es para que seja poss vel estabelecer uma express ao matem atica. (a) A B (b) A B (c) B A (d) A
20

2.3

Teoremas

12. Fa ca diagramas de Venn para os eguintes casos. (a) A B (b) A B (c) A B (d) A B (e) A B (f) A B = A C , mas B C (g) A B A C , mas B C (h) A B A C , mas B C (i) A B = A C , mas B C 13. Demonstre: =BA (a) (A B ) A B) = A B (b) A (A (c) A B = A se, e somente se, A B = (d) A B = A (A B ) (e) A (B C ) = (A B ) (A C ) (f) (A B ) C = A (B C ) (g) (A B ) C = (A C ) (B C ) (h) (A B ) (C D) = (A C ) (B D)

21