SlideShare uma empresa Scribd logo
1 de 33
Baixar para ler offline
Álgebra de Boole
Sumário
• Estrutura e Modelos
• Definições e Propriedades
• Isomorfismo
• As mesmas propriedades matemáticas
podem ser observadas em contextos
diferentes?
Lógica Proposicional
Equivalência Nome da regra
P ∨ Q
P ∧ Q
Q ∨ P
Q ∧ P
Comutatividade
(P ∨ Q) ∨ R
(P ∧ Q) ∧ R
P ∨ (Q ∨ R)
P ∧ (Q ∧ R)
Associatividade
P ∨ (Q ∧ R)
P ∧ (Q ∨ R)
(P ∨ Q) ∧ (P ∨ R)
(P ∧ Q) ∨ (P ∧ R)
Distributividade
P ∨ 0
P ∧ 1
P
P
Elemento Neutro
P ∨ P’
P ∧ P’
1
0
Complemento
Teoria dos Conjuntos
A∪B = B∪A A∩B = B∩A Comutatividade
(A∪B)∪C = A∪(B∪C) (A∩B)∩C = A∩(B∩C) Associatividade
A∪(B∩C) = (A∪B) ∩ (A∪C) A∩(B∪C) = (A∩B) ∪ (A∩C) Distributividade
A∪∅ = A A∩S = A Existência de
elemento neutro
A∪A´=S A∩A´=∅ Propriedades do
complemento
• Uma das especialidades do pensamento
científico é a busca de padrões entre
diversos fenômenos observados.
‣ Seriam, essas semelhanças, manifestações de um
mesmo princípio geral subjacente?
‣ Esse princípio pode ser identificado e estudado
por si mesmo?
Modelos e Generalizações
• Uma estrutura matemática é um
conjunto abstrato de objetos, junto com
operações ou relações bem definidas
entre eles
‣ modelo formal que descreve propriedades
específicas (que podem ser comuns a
diferentes sistemas);
‣ generalização que captura um conjunto de
caraterísticas essenciais;
• A Álgebra de Boole é uma estrutura
matemática.
‣ A Lógica Proposicional é uma álgebra de boole
‣ A Teoria dos Conjuntos é uma álgebra de boole
‣ A Álgebra de Boole caracteriza formalmente as
propriedades comuns entre Lógica proposicional
e a Teoria dos Conjuntos.
‣ A aritmética de inteiros não é uma álgebra de
boole
Definição
Uma álgebra de Boole é um conjunto B no qual estão
definidas duas operações binárias, + e ⋅, e uma operação
unária, ′, e que contém dois elementos distintos, 0 e 1, tais
que as seguintes propriedades são válidas, quaisquer que
sejam x, y, z ∈ B:
x+y = y+x x⋅y = y⋅x Comutatividade
(x+y)+z= x+(y+z) (x⋅y)⋅z= x⋅(y⋅z) Associatividade
x+(y⋅z)=(x+y)⋅(x+z) x⋅(y+z)=(x⋅y)+(x⋅z) Distributividade
x+0 = x x⋅1 = x Elemento neutro
x+x′ = 1 x⋅x′ = 0 Complemento
Notação
• Podemos denotar uma álgebra de boole
por [ B, +, ⋅, ′, 0, 1 ]
• Qualquer modelo matemático que seja
uma álgebra de boole possui
‣ as operações +, ⋅ e ′
‣ os elementos 0 e 1
‣ as propriedades especificadas.
Complemento
• Se x é um elemento de uma álgebra de
boole, o elemento x′ é denominado o
complemento de x.
• O complemento é único.
Propriedades
• A formalização permite identificar as
propriedades comuns a todos os modelos
• Se demonstrarmos uma nova
propriedade, esta nova propriedade será
válida para qualquer álgebra de boole
‣ ela também poderá ser usada para demonstrar
outras propriedades.
Idempotência
A propriedade de idempotência da soma
x + x = x
é valida em qualquer álgebra de boole.
Exemplo
• Usando as propriedades de uma álgebra
de boole, demonstre que a idempotência
da soma é válida.
Exemplo
• Usando as propriedades de uma álgebra
de boole, demonstre que a idempotência
da soma é válida.
x+x = (x+x)⋅1
= (x+x)⋅(x+x′)
= x + (x⋅x′)
= x+0
= x
Propriedade Dual
• Cada propriedade em uma álgebra de
Boole tem a sua propriedade dual
• A propriedade dual é obtida
permutando-se + com ⋅ e 1 com 0.
• Exemplos
Propriedade Propriedade Dual
x + x = x x⋅x = x
x+0 = x x⋅1 = x
Exemplo
• Como fica a idempotência da soma no
contexto de lógica proposicional?
• E no contexto de teoria dos conjuntos?
Exemplo
• Como fica a idempotência da soma no
contexto de lógica proposicional?
• E no contexto de teoria dos conjuntos?
P ∨ P = P
Exemplo
• Como fica a idempotência da soma no
contexto de lógica proposicional?
• E no contexto de teoria dos conjuntos?
P ∨ P = P
A ∪ A = A
Exemplo
• Prove que propriedade x+1 = 1 é válida
em qualquer álgebra de boole.
• Qual é a propriedade dual?
Exemplo
• Prove que propriedade x+1 = 1 é válida
em qualquer álgebra de boole.
• Qual é a propriedade dual?
x+1 = x + (x+x′)
= (x+x)+x′
= x+x′
= 1
Exemplo
• Prove que propriedade x+1 = 1 é válida
em qualquer álgebra de boole.
• Qual é a propriedade dual?
x+1 = x + (x+x′)
= (x+x)+x′
= x+x′
= 1
x⋅0 = 0
Exercício
• Prove que o complemento é único.
Dicas para Demonstrações
• Comece pela expressão mais complexa e
tente mostrar que ela se reduz à expressão
mais simples.
• Considere somar 0 (x⋅x′) ou multiplicar
por 1 (x+x′).
• Lembre-se da idempotência (x⋅x = x e
x+x=x) e da distributividade.
Isomorfismo
• Duas instâncias de uma estrutura são
isomorfas se existe uma bijeção que
relaciona os elementos de uma instância aos
elementos da outra, de modo que as
propriedades são preservadas.
‣ Cada instância é uma imagem espelhada da outra.
‣ As duas instâncias são, essencialmente, iguais.
Isomorfismo
• Um isomorfismo é uma bijeção que
preserva as propriedades relevantes.
• Exemplo: Sejam (S1,ρ) e (S2,σ) dois
conjuntos parcialmente ordenados.
‣ S1 = {1,2,3,5,6,10,15,30}; x ρ y x divide y
‣ S2 = ℘({1,2,3}); A σ B A ⊆ B
‣ S1 e S2 são isomorfos
• A função bijetora f é um isomorfismo do
conjunto parcialmente ordenado (S1,ρ) no
conjunto parcialmente ordenado (S2, σ)
‣ as propriedades são preservadas!
f: {1,2,3,5,6,10,15,30} → ℘({1,2,3})
f(1) = ∅
f(2) = {1}
f(3) = {2}
f(5) = {3}
f(6) = {1,2}
f(10) = {1,3}
f(15) = {2,3}
f(30) = {1,2,3}
A função f-1 é um isomorfismo
de (S2, σ) em (S1, ρ).
É fácil encontrar um isomorfismo
entre duas instâncias?
Considere o caso de uma estrutura matemática
mais complexa, como uma álgebra de Boole.
O isomorfismo precisa preservar também o
comportamento das operações!
efetuar a operação e
aplicar a bijeção
aplicar a bijeção e
efetuar a operação
=
a, b c
operação
r, s
bijeção bijeção
t
operação
f(a) = r
f(b) = s
f(c) = t
Isomorfismo de Álgebras de Boole
• Sejam A1 e A2 álgebras de Boole.
‣ A1 = [B, +, ×, ′, 0, 1] e A2 = [C, ⊕, ⊗, ″, ∅, ⊥]
• Uma função f: B→C é um isomorfismo de
A1 em A2 se:
1. f é uma bijeção
2. f( x + y) = f(x) ⊕ f(y)
3. f( x × y) = f(x) ⊗ f(y)
4. f(x′) = (f(x))″
Exemplo
• Sejam A1 e A2 álgebras de Boole.
‣ A1 = [ {0, 1, a, a′}, +, ⋅, ′, 0, 1]
‣ A2 = [ ℘(S), ∪, ∩, ′, ∅, S], S = {1,2}
′⋅
Exemplo
• Então a função f, como definida a seguir, é
um isomorfismo de A1 em A2
f(0) = ∅
f(1) = S
f(a) = {1}
f(a′) = {2}
• Não é fácil determinar se duas instâncias
de uma estrutura matemática são
isomorfas.
• Porém, sabemos que
‣ Se B é uma álgebra de Boole com n elementos
e n = 2m para algum m, então B é isomorfa a
[℘(S), ∪, ∩, ′, ∅, S], S = {1, 2, ... , m}.

Mais conteúdo relacionado

Mais procurados

Introdução a Linguagem C
Introdução a Linguagem CIntrodução a Linguagem C
Introdução a Linguagem Capolllorj
 
Aulas 10 e 11 - Álgebra de Boole
Aulas 10 e 11 - Álgebra de BooleAulas 10 e 11 - Álgebra de Boole
Aulas 10 e 11 - Álgebra de BooleJocelma Rios
 
Análise de Algoritmos - Recursividade
Análise de Algoritmos - RecursividadeAnálise de Algoritmos - Recursividade
Análise de Algoritmos - RecursividadeDelacyr Ferreira
 
Função do 1º grau
Função do 1º grauFunção do 1º grau
Função do 1º graubetontem
 
Programando em python listas
Programando em python   listasProgramando em python   listas
Programando em python listassamuelthiago
 
Funcao modular
Funcao modularFuncao modular
Funcao modularcon_seguir
 
Matemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosMatemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosUlrich Schiel
 
14 aula teoria dos conjuntos
14 aula   teoria dos conjuntos14 aula   teoria dos conjuntos
14 aula teoria dos conjuntosjatobaesem
 
Ap trigonometria numeros complexo
Ap trigonometria numeros complexoAp trigonometria numeros complexo
Ap trigonometria numeros complexotrigono_metrico
 
Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...
Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...
Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...Aline Guedes
 
MÉTODO DE LA FALSA POSICIÓN.pptx
MÉTODO DE LA FALSA POSICIÓN.pptxMÉTODO DE LA FALSA POSICIÓN.pptx
MÉTODO DE LA FALSA POSICIÓN.pptxTammyGranado
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidosHAROLDO MIRANDA DA COSTA JR
 

Mais procurados (20)

Introdução a Linguagem C
Introdução a Linguagem CIntrodução a Linguagem C
Introdução a Linguagem C
 
Determinantes 2º ano
Determinantes 2º anoDeterminantes 2º ano
Determinantes 2º ano
 
Aulas 10 e 11 - Álgebra de Boole
Aulas 10 e 11 - Álgebra de BooleAulas 10 e 11 - Álgebra de Boole
Aulas 10 e 11 - Álgebra de Boole
 
Inequações
InequaçõesInequações
Inequações
 
Análise de Algoritmos - Recursividade
Análise de Algoritmos - RecursividadeAnálise de Algoritmos - Recursividade
Análise de Algoritmos - Recursividade
 
Função do 1º grau
Função do 1º grauFunção do 1º grau
Função do 1º grau
 
Matemática básica
Matemática básicaMatemática básica
Matemática básica
 
Radiciação
RadiciaçãoRadiciação
Radiciação
 
Programando em python listas
Programando em python   listasProgramando em python   listas
Programando em python listas
 
TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS
 
Funcao modular
Funcao modularFuncao modular
Funcao modular
 
Matemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosMatemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntos
 
Álgebra de Boole
Álgebra de BooleÁlgebra de Boole
Álgebra de Boole
 
Matrizes
MatrizesMatrizes
Matrizes
 
14 aula teoria dos conjuntos
14 aula   teoria dos conjuntos14 aula   teoria dos conjuntos
14 aula teoria dos conjuntos
 
Ap trigonometria numeros complexo
Ap trigonometria numeros complexoAp trigonometria numeros complexo
Ap trigonometria numeros complexo
 
Amplificadores operacionais
Amplificadores operacionaisAmplificadores operacionais
Amplificadores operacionais
 
Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...
Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...
Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...
 
MÉTODO DE LA FALSA POSICIÓN.pptx
MÉTODO DE LA FALSA POSICIÓN.pptxMÉTODO DE LA FALSA POSICIÓN.pptx
MÉTODO DE LA FALSA POSICIÓN.pptx
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos
 

Destaque (12)

Algebra Boole
Algebra BooleAlgebra Boole
Algebra Boole
 
Álgebra Booleana
Álgebra BooleanaÁlgebra Booleana
Álgebra Booleana
 
Biografia de george boole
Biografia de george booleBiografia de george boole
Biografia de george boole
 
George Boole - Rosimeire
George Boole - RosimeireGeorge Boole - Rosimeire
George Boole - Rosimeire
 
áLgebra i
áLgebra iáLgebra i
áLgebra i
 
Algebra booleana aplicações
Algebra booleana aplicaçõesAlgebra booleana aplicações
Algebra booleana aplicações
 
ICC-05 Álgebra Booleana
ICC-05 Álgebra BooleanaICC-05 Álgebra Booleana
ICC-05 Álgebra Booleana
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Teoria conjuntos
Teoria conjuntosTeoria conjuntos
Teoria conjuntos
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebra
 
Matemática conjuntos
Matemática   conjuntosMatemática   conjuntos
Matemática conjuntos
 
Como redigir a introdução e a conclusão de um trabalho escrito
Como redigir a introdução e a conclusão de um trabalho escritoComo redigir a introdução e a conclusão de um trabalho escrito
Como redigir a introdução e a conclusão de um trabalho escrito
 

Semelhante a Álgebra de Boole

Semelhante a Álgebra de Boole (20)

Matemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricasMatemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricas
 
Md9 estruturas algébricas
Md9 estruturas algébricasMd9 estruturas algébricas
Md9 estruturas algébricas
 
04-conjuntos-140429072337-phpap04-conjuntos-140429072337-phpapp02.pdfp02.pdf
04-conjuntos-140429072337-phpap04-conjuntos-140429072337-phpapp02.pdfp02.pdf04-conjuntos-140429072337-phpap04-conjuntos-140429072337-phpapp02.pdfp02.pdf
04-conjuntos-140429072337-phpap04-conjuntos-140429072337-phpapp02.pdfp02.pdf
 
Teoria dos Conjuntos
Teoria dos ConjuntosTeoria dos Conjuntos
Teoria dos Conjuntos
 
Intro teoria dos numeros cap1
Intro teoria dos numeros cap1Intro teoria dos numeros cap1
Intro teoria dos numeros cap1
 
Teoria dos Conjuntos
Teoria dos Conjuntos   Teoria dos Conjuntos
Teoria dos Conjuntos
 
Mat regra de sinais
Mat regra de sinaisMat regra de sinais
Mat regra de sinais
 
Relações
RelaçõesRelações
Relações
 
Apostila 3 funções
Apostila 3 funçõesApostila 3 funções
Apostila 3 funções
 
Apostilade precalculodiferencialeintegral(1) (1)
Apostilade precalculodiferencialeintegral(1) (1)Apostilade precalculodiferencialeintegral(1) (1)
Apostilade precalculodiferencialeintegral(1) (1)
 
Semana 10
Semana 10 Semana 10
Semana 10
 
Matemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funçõesMatemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funções
 
conjuntos_numericos.pdf
conjuntos_numericos.pdfconjuntos_numericos.pdf
conjuntos_numericos.pdf
 
12 m resumo_2017_2018
12 m resumo_2017_201812 m resumo_2017_2018
12 m resumo_2017_2018
 
Corpo reais
Corpo reaisCorpo reais
Corpo reais
 
P1fmt20141
P1fmt20141P1fmt20141
P1fmt20141
 
Apostila
ApostilaApostila
Apostila
 
Apostila
ApostilaApostila
Apostila
 
Trabalho de mat.pptx
Trabalho de mat.pptxTrabalho de mat.pptx
Trabalho de mat.pptx
 
Conjunto1
Conjunto1Conjunto1
Conjunto1
 

Mais de Chromus Master (20)

Webservice
WebserviceWebservice
Webservice
 
Windows 7
Windows 7Windows 7
Windows 7
 
Usb remoção
Usb remoçãoUsb remoção
Usb remoção
 
Disco rígido
Disco rígidoDisco rígido
Disco rígido
 
Windows x Linux
Windows x LinuxWindows x Linux
Windows x Linux
 
Licenças de software
Licenças de softwareLicenças de software
Licenças de software
 
Arquiteturas PC X MAC
Arquiteturas PC X MACArquiteturas PC X MAC
Arquiteturas PC X MAC
 
Análise Combinatória
Análise CombinatóriaAnálise Combinatória
Análise Combinatória
 
Princípios de Contagem
Princípios de ContagemPrincípios de Contagem
Princípios de Contagem
 
Recorrência
RecorrênciaRecorrência
Recorrência
 
Demonstrações
DemonstraçõesDemonstrações
Demonstrações
 
Lógica Formal
Lógica FormalLógica Formal
Lógica Formal
 
Introdução a Teoria dos Grafos
Introdução a Teoria dos GrafosIntrodução a Teoria dos Grafos
Introdução a Teoria dos Grafos
 
Urbanização
UrbanizaçãoUrbanização
Urbanização
 
Guerra fria
Guerra friaGuerra fria
Guerra fria
 
Guerra mascates
Guerra mascatesGuerra mascates
Guerra mascates
 
Reformas pombalinas
Reformas pombalinasReformas pombalinas
Reformas pombalinas
 
Economia colonial
Economia colonialEconomia colonial
Economia colonial
 
Crise sistema colonial
Crise sistema colonialCrise sistema colonial
Crise sistema colonial
 
Barroco
BarrocoBarroco
Barroco
 

Último

Aula 67 e 68 Robótica 8º ano Experimentando variações da matriz de Led
Aula 67 e 68 Robótica 8º ano Experimentando variações da matriz de LedAula 67 e 68 Robótica 8º ano Experimentando variações da matriz de Led
Aula 67 e 68 Robótica 8º ano Experimentando variações da matriz de LedJaquelineBertagliaCe
 
Historia de Portugal - Quarto Ano - 2024
Historia de Portugal - Quarto Ano - 2024Historia de Portugal - Quarto Ano - 2024
Historia de Portugal - Quarto Ano - 2024Cabiamar
 
Renascimento Cultural na Idade Moderna PDF
Renascimento Cultural na Idade Moderna PDFRenascimento Cultural na Idade Moderna PDF
Renascimento Cultural na Idade Moderna PDFRafaelaMartins72608
 
Os editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxOs editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxTailsonSantos1
 
classe gramatical Substantivo apresentação..pptx
classe gramatical Substantivo apresentação..pptxclasse gramatical Substantivo apresentação..pptx
classe gramatical Substantivo apresentação..pptxLuciana Luciana
 
3 2 - termos-integrantes-da-oracao-.pptx
3 2 - termos-integrantes-da-oracao-.pptx3 2 - termos-integrantes-da-oracao-.pptx
3 2 - termos-integrantes-da-oracao-.pptxMarlene Cunhada
 
TCC_MusicaComoLinguagemNaAlfabetização-ARAUJOfranklin-UFBA.pdf
TCC_MusicaComoLinguagemNaAlfabetização-ARAUJOfranklin-UFBA.pdfTCC_MusicaComoLinguagemNaAlfabetização-ARAUJOfranklin-UFBA.pdf
TCC_MusicaComoLinguagemNaAlfabetização-ARAUJOfranklin-UFBA.pdfamarianegodoi
 
Cópia de AULA 2- ENSINO FUNDAMENTAL ANOS INICIAIS - LÍNGUA PORTUGUESA.pptx
Cópia de AULA 2- ENSINO FUNDAMENTAL ANOS INICIAIS - LÍNGUA PORTUGUESA.pptxCópia de AULA 2- ENSINO FUNDAMENTAL ANOS INICIAIS - LÍNGUA PORTUGUESA.pptx
Cópia de AULA 2- ENSINO FUNDAMENTAL ANOS INICIAIS - LÍNGUA PORTUGUESA.pptxSilvana Silva
 
Conflitos entre: ISRAEL E PALESTINA.pdf
Conflitos entre:  ISRAEL E PALESTINA.pdfConflitos entre:  ISRAEL E PALESTINA.pdf
Conflitos entre: ISRAEL E PALESTINA.pdfjacquescardosodias
 
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdfatividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdfAutonoma
 
Poesiamodernismo fase dois. 1930 prosa e poesiapptx
Poesiamodernismo fase dois. 1930 prosa e poesiapptxPoesiamodernismo fase dois. 1930 prosa e poesiapptx
Poesiamodernismo fase dois. 1930 prosa e poesiapptxPabloGabrielKdabra
 
Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!
Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!
Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!Centro Jacques Delors
 
Artigo Científico - Estrutura e Formatação.ppt
Artigo Científico - Estrutura e Formatação.pptArtigo Científico - Estrutura e Formatação.ppt
Artigo Científico - Estrutura e Formatação.pptRogrioGonalves41
 
Polígonos, Diagonais de um Polígono, SOMA DOS ANGULOS INTERNOS DE UM POLÍGON...
Polígonos, Diagonais de um Polígono, SOMA DOS ANGULOS INTERNOS DE UM  POLÍGON...Polígonos, Diagonais de um Polígono, SOMA DOS ANGULOS INTERNOS DE UM  POLÍGON...
Polígonos, Diagonais de um Polígono, SOMA DOS ANGULOS INTERNOS DE UM POLÍGON...marcelafinkler
 
GUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.doc
GUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.docGUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.doc
GUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.docPauloHenriqueGarciaM
 
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdfCurrículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdfTutor de matemática Ícaro
 
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptxSlides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptxLuizHenriquedeAlmeid6
 
Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...
Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...
Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...AnaAugustaLagesZuqui
 
M0 Atendimento – Definição, Importância .pptx
M0 Atendimento – Definição, Importância .pptxM0 Atendimento – Definição, Importância .pptx
M0 Atendimento – Definição, Importância .pptxJustinoTeixeira1
 
A Revolução Francesa. Liberdade, Igualdade e Fraternidade são os direitos que...
A Revolução Francesa. Liberdade, Igualdade e Fraternidade são os direitos que...A Revolução Francesa. Liberdade, Igualdade e Fraternidade são os direitos que...
A Revolução Francesa. Liberdade, Igualdade e Fraternidade são os direitos que...DirceuNascimento5
 

Último (20)

Aula 67 e 68 Robótica 8º ano Experimentando variações da matriz de Led
Aula 67 e 68 Robótica 8º ano Experimentando variações da matriz de LedAula 67 e 68 Robótica 8º ano Experimentando variações da matriz de Led
Aula 67 e 68 Robótica 8º ano Experimentando variações da matriz de Led
 
Historia de Portugal - Quarto Ano - 2024
Historia de Portugal - Quarto Ano - 2024Historia de Portugal - Quarto Ano - 2024
Historia de Portugal - Quarto Ano - 2024
 
Renascimento Cultural na Idade Moderna PDF
Renascimento Cultural na Idade Moderna PDFRenascimento Cultural na Idade Moderna PDF
Renascimento Cultural na Idade Moderna PDF
 
Os editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxOs editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptx
 
classe gramatical Substantivo apresentação..pptx
classe gramatical Substantivo apresentação..pptxclasse gramatical Substantivo apresentação..pptx
classe gramatical Substantivo apresentação..pptx
 
3 2 - termos-integrantes-da-oracao-.pptx
3 2 - termos-integrantes-da-oracao-.pptx3 2 - termos-integrantes-da-oracao-.pptx
3 2 - termos-integrantes-da-oracao-.pptx
 
TCC_MusicaComoLinguagemNaAlfabetização-ARAUJOfranklin-UFBA.pdf
TCC_MusicaComoLinguagemNaAlfabetização-ARAUJOfranklin-UFBA.pdfTCC_MusicaComoLinguagemNaAlfabetização-ARAUJOfranklin-UFBA.pdf
TCC_MusicaComoLinguagemNaAlfabetização-ARAUJOfranklin-UFBA.pdf
 
Cópia de AULA 2- ENSINO FUNDAMENTAL ANOS INICIAIS - LÍNGUA PORTUGUESA.pptx
Cópia de AULA 2- ENSINO FUNDAMENTAL ANOS INICIAIS - LÍNGUA PORTUGUESA.pptxCópia de AULA 2- ENSINO FUNDAMENTAL ANOS INICIAIS - LÍNGUA PORTUGUESA.pptx
Cópia de AULA 2- ENSINO FUNDAMENTAL ANOS INICIAIS - LÍNGUA PORTUGUESA.pptx
 
Conflitos entre: ISRAEL E PALESTINA.pdf
Conflitos entre:  ISRAEL E PALESTINA.pdfConflitos entre:  ISRAEL E PALESTINA.pdf
Conflitos entre: ISRAEL E PALESTINA.pdf
 
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdfatividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
 
Poesiamodernismo fase dois. 1930 prosa e poesiapptx
Poesiamodernismo fase dois. 1930 prosa e poesiapptxPoesiamodernismo fase dois. 1930 prosa e poesiapptx
Poesiamodernismo fase dois. 1930 prosa e poesiapptx
 
Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!
Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!
Apresentação | Dia da Europa 2024 - Celebremos a União Europeia!
 
Artigo Científico - Estrutura e Formatação.ppt
Artigo Científico - Estrutura e Formatação.pptArtigo Científico - Estrutura e Formatação.ppt
Artigo Científico - Estrutura e Formatação.ppt
 
Polígonos, Diagonais de um Polígono, SOMA DOS ANGULOS INTERNOS DE UM POLÍGON...
Polígonos, Diagonais de um Polígono, SOMA DOS ANGULOS INTERNOS DE UM  POLÍGON...Polígonos, Diagonais de um Polígono, SOMA DOS ANGULOS INTERNOS DE UM  POLÍGON...
Polígonos, Diagonais de um Polígono, SOMA DOS ANGULOS INTERNOS DE UM POLÍGON...
 
GUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.doc
GUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.docGUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.doc
GUIA DE APRENDIZAGEM 2024 9º A - História 1 BI.doc
 
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdfCurrículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
 
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptxSlides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
Slides Lição 6, Betel, Ordenança para uma vida de obediência e submissão.pptx
 
Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...
Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...
Tema de redação - As dificuldades para barrar o casamento infantil no Brasil ...
 
M0 Atendimento – Definição, Importância .pptx
M0 Atendimento – Definição, Importância .pptxM0 Atendimento – Definição, Importância .pptx
M0 Atendimento – Definição, Importância .pptx
 
A Revolução Francesa. Liberdade, Igualdade e Fraternidade são os direitos que...
A Revolução Francesa. Liberdade, Igualdade e Fraternidade são os direitos que...A Revolução Francesa. Liberdade, Igualdade e Fraternidade são os direitos que...
A Revolução Francesa. Liberdade, Igualdade e Fraternidade são os direitos que...
 

Álgebra de Boole

  • 2. Sumário • Estrutura e Modelos • Definições e Propriedades • Isomorfismo
  • 3. • As mesmas propriedades matemáticas podem ser observadas em contextos diferentes?
  • 4. Lógica Proposicional Equivalência Nome da regra P ∨ Q P ∧ Q Q ∨ P Q ∧ P Comutatividade (P ∨ Q) ∨ R (P ∧ Q) ∧ R P ∨ (Q ∨ R) P ∧ (Q ∧ R) Associatividade P ∨ (Q ∧ R) P ∧ (Q ∨ R) (P ∨ Q) ∧ (P ∨ R) (P ∧ Q) ∨ (P ∧ R) Distributividade P ∨ 0 P ∧ 1 P P Elemento Neutro P ∨ P’ P ∧ P’ 1 0 Complemento
  • 5. Teoria dos Conjuntos A∪B = B∪A A∩B = B∩A Comutatividade (A∪B)∪C = A∪(B∪C) (A∩B)∩C = A∩(B∩C) Associatividade A∪(B∩C) = (A∪B) ∩ (A∪C) A∩(B∪C) = (A∩B) ∪ (A∩C) Distributividade A∪∅ = A A∩S = A Existência de elemento neutro A∪A´=S A∩A´=∅ Propriedades do complemento
  • 6. • Uma das especialidades do pensamento científico é a busca de padrões entre diversos fenômenos observados. ‣ Seriam, essas semelhanças, manifestações de um mesmo princípio geral subjacente? ‣ Esse princípio pode ser identificado e estudado por si mesmo?
  • 7. Modelos e Generalizações • Uma estrutura matemática é um conjunto abstrato de objetos, junto com operações ou relações bem definidas entre eles ‣ modelo formal que descreve propriedades específicas (que podem ser comuns a diferentes sistemas); ‣ generalização que captura um conjunto de caraterísticas essenciais;
  • 8. • A Álgebra de Boole é uma estrutura matemática. ‣ A Lógica Proposicional é uma álgebra de boole ‣ A Teoria dos Conjuntos é uma álgebra de boole ‣ A Álgebra de Boole caracteriza formalmente as propriedades comuns entre Lógica proposicional e a Teoria dos Conjuntos. ‣ A aritmética de inteiros não é uma álgebra de boole
  • 9. Definição Uma álgebra de Boole é um conjunto B no qual estão definidas duas operações binárias, + e ⋅, e uma operação unária, ′, e que contém dois elementos distintos, 0 e 1, tais que as seguintes propriedades são válidas, quaisquer que sejam x, y, z ∈ B: x+y = y+x x⋅y = y⋅x Comutatividade (x+y)+z= x+(y+z) (x⋅y)⋅z= x⋅(y⋅z) Associatividade x+(y⋅z)=(x+y)⋅(x+z) x⋅(y+z)=(x⋅y)+(x⋅z) Distributividade x+0 = x x⋅1 = x Elemento neutro x+x′ = 1 x⋅x′ = 0 Complemento
  • 10. Notação • Podemos denotar uma álgebra de boole por [ B, +, ⋅, ′, 0, 1 ] • Qualquer modelo matemático que seja uma álgebra de boole possui ‣ as operações +, ⋅ e ′ ‣ os elementos 0 e 1 ‣ as propriedades especificadas.
  • 11. Complemento • Se x é um elemento de uma álgebra de boole, o elemento x′ é denominado o complemento de x. • O complemento é único.
  • 12. Propriedades • A formalização permite identificar as propriedades comuns a todos os modelos • Se demonstrarmos uma nova propriedade, esta nova propriedade será válida para qualquer álgebra de boole ‣ ela também poderá ser usada para demonstrar outras propriedades.
  • 13. Idempotência A propriedade de idempotência da soma x + x = x é valida em qualquer álgebra de boole.
  • 14. Exemplo • Usando as propriedades de uma álgebra de boole, demonstre que a idempotência da soma é válida.
  • 15. Exemplo • Usando as propriedades de uma álgebra de boole, demonstre que a idempotência da soma é válida. x+x = (x+x)⋅1 = (x+x)⋅(x+x′) = x + (x⋅x′) = x+0 = x
  • 16. Propriedade Dual • Cada propriedade em uma álgebra de Boole tem a sua propriedade dual • A propriedade dual é obtida permutando-se + com ⋅ e 1 com 0. • Exemplos Propriedade Propriedade Dual x + x = x x⋅x = x x+0 = x x⋅1 = x
  • 17. Exemplo • Como fica a idempotência da soma no contexto de lógica proposicional? • E no contexto de teoria dos conjuntos?
  • 18. Exemplo • Como fica a idempotência da soma no contexto de lógica proposicional? • E no contexto de teoria dos conjuntos? P ∨ P = P
  • 19. Exemplo • Como fica a idempotência da soma no contexto de lógica proposicional? • E no contexto de teoria dos conjuntos? P ∨ P = P A ∪ A = A
  • 20. Exemplo • Prove que propriedade x+1 = 1 é válida em qualquer álgebra de boole. • Qual é a propriedade dual?
  • 21. Exemplo • Prove que propriedade x+1 = 1 é válida em qualquer álgebra de boole. • Qual é a propriedade dual? x+1 = x + (x+x′) = (x+x)+x′ = x+x′ = 1
  • 22. Exemplo • Prove que propriedade x+1 = 1 é válida em qualquer álgebra de boole. • Qual é a propriedade dual? x+1 = x + (x+x′) = (x+x)+x′ = x+x′ = 1 x⋅0 = 0
  • 23. Exercício • Prove que o complemento é único.
  • 24. Dicas para Demonstrações • Comece pela expressão mais complexa e tente mostrar que ela se reduz à expressão mais simples. • Considere somar 0 (x⋅x′) ou multiplicar por 1 (x+x′). • Lembre-se da idempotência (x⋅x = x e x+x=x) e da distributividade.
  • 25. Isomorfismo • Duas instâncias de uma estrutura são isomorfas se existe uma bijeção que relaciona os elementos de uma instância aos elementos da outra, de modo que as propriedades são preservadas. ‣ Cada instância é uma imagem espelhada da outra. ‣ As duas instâncias são, essencialmente, iguais.
  • 26. Isomorfismo • Um isomorfismo é uma bijeção que preserva as propriedades relevantes. • Exemplo: Sejam (S1,ρ) e (S2,σ) dois conjuntos parcialmente ordenados. ‣ S1 = {1,2,3,5,6,10,15,30}; x ρ y x divide y ‣ S2 = ℘({1,2,3}); A σ B A ⊆ B ‣ S1 e S2 são isomorfos
  • 27. • A função bijetora f é um isomorfismo do conjunto parcialmente ordenado (S1,ρ) no conjunto parcialmente ordenado (S2, σ) ‣ as propriedades são preservadas! f: {1,2,3,5,6,10,15,30} → ℘({1,2,3}) f(1) = ∅ f(2) = {1} f(3) = {2} f(5) = {3} f(6) = {1,2} f(10) = {1,3} f(15) = {2,3} f(30) = {1,2,3} A função f-1 é um isomorfismo de (S2, σ) em (S1, ρ).
  • 28. É fácil encontrar um isomorfismo entre duas instâncias? Considere o caso de uma estrutura matemática mais complexa, como uma álgebra de Boole. O isomorfismo precisa preservar também o comportamento das operações!
  • 29. efetuar a operação e aplicar a bijeção aplicar a bijeção e efetuar a operação = a, b c operação r, s bijeção bijeção t operação f(a) = r f(b) = s f(c) = t
  • 30. Isomorfismo de Álgebras de Boole • Sejam A1 e A2 álgebras de Boole. ‣ A1 = [B, +, ×, ′, 0, 1] e A2 = [C, ⊕, ⊗, ″, ∅, ⊥] • Uma função f: B→C é um isomorfismo de A1 em A2 se: 1. f é uma bijeção 2. f( x + y) = f(x) ⊕ f(y) 3. f( x × y) = f(x) ⊗ f(y) 4. f(x′) = (f(x))″
  • 31. Exemplo • Sejam A1 e A2 álgebras de Boole. ‣ A1 = [ {0, 1, a, a′}, +, ⋅, ′, 0, 1] ‣ A2 = [ ℘(S), ∪, ∩, ′, ∅, S], S = {1,2} ′⋅
  • 32. Exemplo • Então a função f, como definida a seguir, é um isomorfismo de A1 em A2 f(0) = ∅ f(1) = S f(a) = {1} f(a′) = {2}
  • 33. • Não é fácil determinar se duas instâncias de uma estrutura matemática são isomorfas. • Porém, sabemos que ‣ Se B é uma álgebra de Boole com n elementos e n = 2m para algum m, então B é isomorfa a [℘(S), ∪, ∩, ′, ∅, S], S = {1, 2, ... , m}.