PiR2
Gostaria de reagir a esta mensagem? Crie uma conta em poucos cliques ou inicie sessão para continuar.

P.I.F II

2 participantes

Ir para baixo

P.I.F II Empty P.I.F II

Mensagem por L.Lawliet Sáb 20 Dez 2014, 00:00

(Lei de Morgan) Demonstre que (AՈB)'=A'∪B' , sobre "n" conjuntos

L.Lawliet
Mestre Jedi
Mestre Jedi

Mensagens : 797
Data de inscrição : 30/10/2013
Idade : 28
Localização : Brasil

Ir para o topo Ir para baixo

P.I.F II Empty Re: P.I.F II

Mensagem por Luck Dom 21 Dez 2014, 16:56

Por indução , para n = 2:

(A1∩A2)' = A1'U A2'
vamos verificar se a igualdade é válida pela tabela verdade:

A1---A2----(A1∩A2)---(A1∩A2)'----A1'---A2'------(A1'U A2')------(A1∩A2)' ⇔ (A1'U A2')
V----V--------V--------F---------F-----F------------F-------------------V
V----F--------F--------V---------F-----V------------V-------------------V
F----V--------F--------V---------V-----F------------V-------------------V
F----F--------F--------V---------V-----V------------V-------------------V
Ok.

Supondo válida para n conjuntos:
(A1∩A2...∩An)' = A1'UA2'...UAn'

n-> n+1 :
(A1∩A2...∩An∩An+1)' = A1'UA2'...UAn'UAn+1' ,(tese)

(A1∩A2...∩An∩An+1)' = ((A1∩A2...∩An)∩An+1)'
((A1∩A2...∩An)∩An+1)' = (A1∩A2...∩An)'U (An+1)'
((A1∩A2...∩An)∩An+1)' = (A1'UA2'...UAn')U(An+1)'
(A1∩A2...∩An∩An+1)' = A1'UA2'...UAn'UAn+1'
c.q.d
Luck
Luck
Grupo
Velhos amigos do Fórum

Grupo Velhos amigos do Fórum

Mensagens : 5322
Data de inscrição : 20/09/2009
Idade : 31
Localização : RJ

Ir para o topo Ir para baixo

Ir para o topo


 
Permissões neste sub-fórum
Não podes responder a tópicos