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

Aula sobre Porcentagem - Coens Cursos e Concursos
Aula sobre Porcentagem - Coens Cursos e ConcursosAula sobre Porcentagem - Coens Cursos e Concursos
Aula sobre Porcentagem - Coens Cursos e ConcursosCoens Cursos e Concursos
 
Agentes Inteligentes - IA
Agentes Inteligentes - IAAgentes Inteligentes - IA
Agentes Inteligentes - IAThiago Marinho
 
Algoritmo Variaveis
Algoritmo   VariaveisAlgoritmo   Variaveis
Algoritmo VariaveisAndré Nobre
 
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
 
Conjuntos numéricos versão mini
Conjuntos numéricos   versão miniConjuntos numéricos   versão mini
Conjuntos numéricos versão miniLuciano Pessanha
 
Estatística básica
Estatística básicaEstatística básica
Estatística básicaJose_ferreira
 
Matemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesMatemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesUlrich Schiel
 
時系列データ分析
時系列データ分析時系列データ分析
時系列データ分析graySpace999
 
Noções de geometria
Noções de geometriaNoções de geometria
Noções de geometriarosania39
 
Propriedades dos logaritmos
Propriedades dos logaritmosPropriedades dos logaritmos
Propriedades dos logaritmosDavisonsm
 
Elementos de Matemática Básica - Conjuntos Numéricos
Elementos de Matemática Básica - Conjuntos NuméricosElementos de Matemática Básica - Conjuntos Numéricos
Elementos de Matemática Básica - Conjuntos NuméricosMilton Henrique do Couto Neto
 
Slides sobre conjuntos
Slides sobre conjuntosSlides sobre conjuntos
Slides sobre conjuntosndribeiro
 
Grafos De Bruijn para identificação de variações genéticas usando GBS
Grafos De Bruijn para identificação de variações genéticas usando GBSGrafos De Bruijn para identificação de variações genéticas usando GBS
Grafos De Bruijn para identificação de variações genéticas usando GBSMarcos Castro
 

Mais procurados (20)

Aula 05
Aula 05Aula 05
Aula 05
 
Aula sobre Porcentagem - Coens Cursos e Concursos
Aula sobre Porcentagem - Coens Cursos e ConcursosAula sobre Porcentagem - Coens Cursos e Concursos
Aula sobre Porcentagem - Coens Cursos e Concursos
 
Geometria analítica
Geometria analíticaGeometria analítica
Geometria analítica
 
Árvores de Decisão
Árvores de Decisão Árvores de Decisão
Árvores de Decisão
 
Agentes Inteligentes - IA
Agentes Inteligentes - IAAgentes Inteligentes - IA
Agentes Inteligentes - IA
 
Algoritmo Variaveis
Algoritmo   VariaveisAlgoritmo   Variaveis
Algoritmo Variaveis
 
Hash e Btree
Hash e BtreeHash e Btree
Hash e Btree
 
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
 
Conjuntos numéricos versão mini
Conjuntos numéricos   versão miniConjuntos numéricos   versão mini
Conjuntos numéricos versão mini
 
Estrutura de Dados em Java (Introdução)
Estrutura de Dados em Java (Introdução)Estrutura de Dados em Java (Introdução)
Estrutura de Dados em Java (Introdução)
 
Estatística básica
Estatística básicaEstatística básica
Estatística básica
 
Matemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesMatemática Discreta - Parte V relações
Matemática Discreta - Parte V relações
 
時系列データ分析
時系列データ分析時系列データ分析
時系列データ分析
 
Noções de geometria
Noções de geometriaNoções de geometria
Noções de geometria
 
Propriedades dos logaritmos
Propriedades dos logaritmosPropriedades dos logaritmos
Propriedades dos logaritmos
 
Elementos de Matemática Básica - Conjuntos Numéricos
Elementos de Matemática Básica - Conjuntos NuméricosElementos de Matemática Básica - Conjuntos Numéricos
Elementos de Matemática Básica - Conjuntos Numéricos
 
Slides sobre conjuntos
Slides sobre conjuntosSlides sobre conjuntos
Slides sobre conjuntos
 
Grafos De Bruijn para identificação de variações genéticas usando GBS
Grafos De Bruijn para identificação de variações genéticas usando GBSGrafos De Bruijn para identificação de variações genéticas usando GBS
Grafos De Bruijn para identificação de variações genéticas usando GBS
 
Regressao linear
Regressao linearRegressao linear
Regressao linear
 
Equação do 2° grau
Equação do 2° grauEquação do 2° grau
Equação do 2° grau
 

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: Propriedades e Modelos

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ébricasUlrich Schiel
 
Md9 estruturas algébricas
Md9 estruturas algébricasMd9 estruturas algébricas
Md9 estruturas algébricasUlrich Schiel
 
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.pdfalessandraoliveira324
 
Intro teoria dos numeros cap1
Intro teoria dos numeros cap1Intro teoria dos numeros cap1
Intro teoria dos numeros cap1Paulo Martins
 
Apostilade precalculodiferencialeintegral(1) (1)
Apostilade precalculodiferencialeintegral(1) (1)Apostilade precalculodiferencialeintegral(1) (1)
Apostilade precalculodiferencialeintegral(1) (1)W. Carvalho Carvalho
 
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çõesUlrich Schiel
 
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
 

Semelhante a Álgebra de Boole: Propriedades e Modelos (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
 
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
 
TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS TEORIA DE CONJUNTOS
TEORIA DE 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
 
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
 
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
 

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

CRUZADINHA - Leitura e escrita dos números
CRUZADINHA   -   Leitura e escrita dos números CRUZADINHA   -   Leitura e escrita dos números
CRUZADINHA - Leitura e escrita dos números Mary Alvarenga
 
análise de redação completa - Dissertação
análise de redação completa - Dissertaçãoanálise de redação completa - Dissertação
análise de redação completa - DissertaçãoMaiteFerreira4
 
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteCOMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteVanessaCavalcante37
 
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdfLeloIurk1
 
Atividade sobre os Pronomes Pessoais.pptx
Atividade sobre os Pronomes Pessoais.pptxAtividade sobre os Pronomes Pessoais.pptx
Atividade sobre os Pronomes Pessoais.pptxDianaSheila2
 
Dicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim RangelDicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim RangelGilber Rubim Rangel
 
2° ano_PLANO_DE_CURSO em PDF referente ao 2° ano do Ensino fundamental
2° ano_PLANO_DE_CURSO em PDF referente ao 2° ano do Ensino fundamental2° ano_PLANO_DE_CURSO em PDF referente ao 2° ano do Ensino fundamental
2° ano_PLANO_DE_CURSO em PDF referente ao 2° ano do Ensino fundamentalAntônia marta Silvestre da Silva
 
11oC_-_Mural_de_Portugues_4m35.pptxTrabalho do Ensino Profissional turma do 1...
11oC_-_Mural_de_Portugues_4m35.pptxTrabalho do Ensino Profissional turma do 1...11oC_-_Mural_de_Portugues_4m35.pptxTrabalho do Ensino Profissional turma do 1...
11oC_-_Mural_de_Portugues_4m35.pptxTrabalho do Ensino Profissional turma do 1...licinioBorges
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...azulassessoria9
 
Pedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptxPedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptxleandropereira983288
 
Noções de Farmacologia - Flávia Soares.pdf
Noções de Farmacologia - Flávia Soares.pdfNoções de Farmacologia - Flávia Soares.pdf
Noções de Farmacologia - Flávia Soares.pdflucassilva721057
 
A QUATRO MÃOS - MARILDA CASTANHA . pdf
A QUATRO MÃOS  -  MARILDA CASTANHA . pdfA QUATRO MÃOS  -  MARILDA CASTANHA . pdf
A QUATRO MÃOS - MARILDA CASTANHA . pdfAna Lemos
 
VARIEDADES LINGUÍSTICAS - 1. pptx
VARIEDADES        LINGUÍSTICAS - 1. pptxVARIEDADES        LINGUÍSTICAS - 1. pptx
VARIEDADES LINGUÍSTICAS - 1. pptxMarlene Cunhada
 
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....LuizHenriquedeAlmeid6
 
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdfPRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdfprofesfrancleite
 
Slides Lição 04, Central Gospel, O Tribunal De Cristo, 1Tr24.pptx
Slides Lição 04, Central Gospel, O Tribunal De Cristo, 1Tr24.pptxSlides Lição 04, Central Gospel, O Tribunal De Cristo, 1Tr24.pptx
Slides Lição 04, Central Gospel, O Tribunal De Cristo, 1Tr24.pptxLuizHenriquedeAlmeid6
 
Considere a seguinte situação fictícia: Durante uma reunião de equipe em uma...
Considere a seguinte situação fictícia:  Durante uma reunião de equipe em uma...Considere a seguinte situação fictícia:  Durante uma reunião de equipe em uma...
Considere a seguinte situação fictícia: Durante uma reunião de equipe em uma...azulassessoria9
 
Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Ilda Bicacro
 

Último (20)

CRUZADINHA - Leitura e escrita dos números
CRUZADINHA   -   Leitura e escrita dos números CRUZADINHA   -   Leitura e escrita dos números
CRUZADINHA - Leitura e escrita dos números
 
Bullying, sai pra lá
Bullying,  sai pra láBullying,  sai pra lá
Bullying, sai pra lá
 
análise de redação completa - Dissertação
análise de redação completa - Dissertaçãoanálise de redação completa - Dissertação
análise de redação completa - Dissertação
 
CINEMATICA DE LOS MATERIALES Y PARTICULA
CINEMATICA DE LOS MATERIALES Y PARTICULACINEMATICA DE LOS MATERIALES Y PARTICULA
CINEMATICA DE LOS MATERIALES Y PARTICULA
 
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteCOMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
 
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
 
Atividade sobre os Pronomes Pessoais.pptx
Atividade sobre os Pronomes Pessoais.pptxAtividade sobre os Pronomes Pessoais.pptx
Atividade sobre os Pronomes Pessoais.pptx
 
Dicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim RangelDicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim Rangel
 
2° ano_PLANO_DE_CURSO em PDF referente ao 2° ano do Ensino fundamental
2° ano_PLANO_DE_CURSO em PDF referente ao 2° ano do Ensino fundamental2° ano_PLANO_DE_CURSO em PDF referente ao 2° ano do Ensino fundamental
2° ano_PLANO_DE_CURSO em PDF referente ao 2° ano do Ensino fundamental
 
11oC_-_Mural_de_Portugues_4m35.pptxTrabalho do Ensino Profissional turma do 1...
11oC_-_Mural_de_Portugues_4m35.pptxTrabalho do Ensino Profissional turma do 1...11oC_-_Mural_de_Portugues_4m35.pptxTrabalho do Ensino Profissional turma do 1...
11oC_-_Mural_de_Portugues_4m35.pptxTrabalho do Ensino Profissional turma do 1...
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
 
Pedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptxPedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptx
 
Noções de Farmacologia - Flávia Soares.pdf
Noções de Farmacologia - Flávia Soares.pdfNoções de Farmacologia - Flávia Soares.pdf
Noções de Farmacologia - Flávia Soares.pdf
 
A QUATRO MÃOS - MARILDA CASTANHA . pdf
A QUATRO MÃOS  -  MARILDA CASTANHA . pdfA QUATRO MÃOS  -  MARILDA CASTANHA . pdf
A QUATRO MÃOS - MARILDA CASTANHA . pdf
 
VARIEDADES LINGUÍSTICAS - 1. pptx
VARIEDADES        LINGUÍSTICAS - 1. pptxVARIEDADES        LINGUÍSTICAS - 1. pptx
VARIEDADES LINGUÍSTICAS - 1. pptx
 
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
 
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdfPRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
 
Slides Lição 04, Central Gospel, O Tribunal De Cristo, 1Tr24.pptx
Slides Lição 04, Central Gospel, O Tribunal De Cristo, 1Tr24.pptxSlides Lição 04, Central Gospel, O Tribunal De Cristo, 1Tr24.pptx
Slides Lição 04, Central Gospel, O Tribunal De Cristo, 1Tr24.pptx
 
Considere a seguinte situação fictícia: Durante uma reunião de equipe em uma...
Considere a seguinte situação fictícia:  Durante uma reunião de equipe em uma...Considere a seguinte situação fictícia:  Durante uma reunião de equipe em uma...
Considere a seguinte situação fictícia: Durante uma reunião de equipe em uma...
 
Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"
 

Álgebra de Boole: Propriedades e Modelos

  • 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}.