Instituto de Matemática e Estatística, UFF Setembro de 2013

Documentos relacionados
Instituto de Matemática, UFF Outubro de 2010

Instituto de Matemática e Estatística, UFF Março de 2011

Universidade Federal do Pampa - UNIPAMPA

1 Operações com conjuntos

Instituto de Matemática e Estatística, UFF Março de 2011

Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática

Instituto de Matemática e Estatística, UFF Março de 2011

ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN

Aplicações da teoria de conjuntos álgebra booleana. Pontifícia Universidade Católica de Goiás Msc. Gustavo Siqueira Vinhal 2016/1

Abaixo descreveremos 6 portas lógicas: AND, OR, NOT, NAND, NOR e XOR.

Instituto de Matemática e Estatística, UFF Outubro de 2013

Pontifícia Universidade Católica do Rio Grande do Sul

n. 25 DIAGRAMAS DE VENN

Lógica Proposicional e Álgebra de Boole

Álgebra Linear e Geometria Analítica

Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções

Lógica Computacional

Conteúdo: Operações Conjuntos Crisp Operações Conjuntos fuzzy. Operadores de Zadeh Operadores Compensatórios Operadores T-norm e T-conorm

Centro de Informática UFPE

Circuitos Digitais. Prof. Esp. Pedro Luís Antonelli Anhanguera Educacional

DISCIPLINA: Lógica. CONTEÚDO: Circuitos Lógicos. PROFESSORA Dr.ª Donizete Ritter

Lógica e Matemática Discreta

Matemática Discreta - 07

Lógica e Matemática Discreta

Reticulados e Álgebras de Boole

Pré-Cálculo. Humberto José Bortolossi. Aula 5 27 de agosto de Departamento de Matemática Aplicada Universidade Federal Fluminense

Os números inteiros. Capítulo 2

MA14 - Aritmética Unidade 22 Resumo. Aritmética das Classes Residuais

Bases Matemáticas. Aula 4 Conjuntos Numéricos. Rodrigo Hausen. v /9

MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos

Capítulo 3. Álgebra de Bool

Matemática Discreta - 07

Matemática para Ciência de Computadores

2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /01 1 / 76

equivalentes em LC Petrucio Viana

Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos

Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS

Álgebra de Boole binária

Lógica Texto 7. Texto 7. 1 Negação de enunciados atômicos Exercício resolvido Negação de enunciados moleculares 5

Circuitos Digitais Álgebra de Boole

LÓGICA EM COMPUTAÇÃO

Este material é apenas um resumo de parte do conteúdo da disciplina.

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Bases Matemáticas. Definição ingênua de conjunto. Aula 3 Conjuntos. Rodrigo Hausen

Cálculo proposicional

1 Espaços Vectoriais

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO

Resumo. Parte 2 Introdução à Teoria da Probabilidade. Ramiro Brito Willmersdorf Introdução.

Notas de aula de MAC0329 Álgebra Booleana e Aplicações

Introdução à Computação: Álgebra Booleana

Prof. Leonardo Augusto Casillo

Simplificação de Enunciados com um Quantificador Petrucio Viana

Teoria da Computação Aula 01 Revisão de Conjuntos

n. 1 Matrizes Cayley (1858) As matrizes surgiram para Cayley ligadas às transformações lineares do tipo:

UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO

Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS. Prof.: Marcelo Maraschin de Souza

3. Computadores Industriais

Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática. Matemática Discreta. Márcia Rodrigues Notare

IBM1088 Linguagens Formais e Teoria da Computação

Cálculo Diferencial e Integral Química Notas de Aula

Arquitetura e Organização de Computadores. Álgebra Booleana

Propriedades de Linguagens Livres de Contexto. Propriedades de Linguagens Livres de Contexto. Propriedades de Linguagens Livres de Contexto

1 Conjuntos, Números e Demonstrações

RETICULADOS: NOTAS DO SEMINÁRIO DE 7/03/03

Funções Lógicas I. José Costa. Introdução à Arquitetura de Computadores. Departamento de Engenharia Informática (DEI) Instituto Superior Técnico

Tecnologia dos Computadores 2002/2003. Exercícios

Fundamentos de Programação de Computadores

Matemática B - ONG em Ação

Matemática para Ciência de Computadores

SEGUNDA VERIFICAÇÃO DE APRENDIZAGEM. Nome legível: Assinatura:

1 TEORIA DOS CONJUNTOS

BACHARELADO EM SISTEMAS DE INFORMAÇÃO MATEMÁTICA DISCRETA Aula 1 - Apresentação da disciplina

Lógica Boolena. Aula 05. Prof. Msc. Arthur G. Bartsch

Práticas de Investigação Quantitativa

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017

Curso Satélite de. Matemática. Sessão n.º 1. Universidade Portucalense

Humberto José Bortolossi x 1 < 0 x2 x 12 < 0. x 1 x + 12 (x + 3)(x 4)

. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.

Conjuntos Fuzzy e Lógica Fuzzy

Geometria Analítica. Números Reais. Faremos, neste capítulo, uma rápida apresentação dos números reais e suas propriedades, mas no sentido

Teoria Ingênua dos Conjuntos (naive set theory)

Aula1 Noções de matemática Discreta Técnicas de Demonstração. Prof. Dr. Ricardo Luis de Azevedo da Rocha

Proposta de teste de avaliação

ÁLGEBRA. AULA 1 _ Conjuntos Professor Luciano Nóbrega. Maria Auxiliadora

Teoria Elementar dos Conjuntos

Matemática Discreta para Ciência da Computação

Fundamentos da Matemática e Estatística

Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas. Cálculo Combinatório: Introdução ao cálculo combinatório

Capítulo 3. Operadores sobre subconjuntos. 3.1 Operadores

Matemática Discreta Parte 11

(A1) As operações + e são comutativas, ou seja, para todo x e y em A, x + y = y + x e x y = y x

Instituto de Matemática e Estatística, UFF Abril de 2013

Teoria Elementar dos Conjuntos

3. CAPÍTULO LÓGICAS DIGITAIS

Tecnologia em Rede de Computadores. Período Prof. da Disciplina Luiz Gonzaga Damasceno, M. Sc

REVISÃO DE ÁLGEBRA LINEAR

LÓGICA EM COMPUTAÇÃO

1. Operações com vetores no espaço

Transcrição:

Operações Instituto de Matemática e Estatística, UFF Setembro de 2013

... Sumário..

Boole Um dos pioneiros da lógica matemática e dos estudos da lógica algébrica. Em sua homenagem foi cunhado o termo Álgebra de Boole. George Boole (1815 1864)

Para definir um conjunto por listagem, devemos utilizar objetos que, supostamente, existem antes da listagem. Para definir um conjunto por propriedade devemos utilizar um conjunto que, supostamente, existe antes da definição por propriedade, e de uma propriedade.

Para que não seja preciso especificar objetos ou prévios particulares a cada vez que usamos estes procedimentos de definição, admitimos a existência de um conjunto único que contém todos os objetos que são necessários, em um dado contexto. Definição O conjunto, denotado por U, é o conjunto que possui todos os objetos que são necessários, em um dado contexto.

Propriedades básicas do conjunto Para todo conjunto A, para todo objeto x U, temos que: (1) x U. (2) A U. Em um dado contexto, para qualquer objeto x, a proposição x U é verdadeira.

O método de definição por propriedade afirma que, para qualquer U e qualquer propriedade P(x), o conjunto existe. {x U : P(x)} Assim, tomando o conjunto N dos números naturais como, o conjunto Z = {x N : x < 0} existe. Mas, como pode se observar, este conjunto não possui elementos.

Para que o método de definição por propriedade possa ser aplicado indiscriminadamente, vamos assumir a existência de um conjunto que não possui elementos. Definição O conjunto, denotado por, é o conjunto que não possui elementos. Em símbolos: = {x U : x x}.

Um conjunto pode ser definido por várias propriedades. Dados os A = {x Z : x é par e ímpar} e B = {x N : x é primo e 24 x 28}, temos que A e B são s.

Mas se A e B são s, então A = B. A justificativa deste fato é um pouco sutil, mas vamos a ela: Sejam A e B s. Não há elementos em A que não estão em B. Não há elementos em B que não estão em A. Assim, todos os elementos de A são elementos de B e todos os elementos de B são elementos de A. Logo, A = B.

Propriedades básicas do conjunto Para todo conjunto A, para todo objeto x U, temos que: (1) Existe um único conjunto. (2) x. (3) A. Observe que, em qualquer contexto, para qualquer objeto x, a proposição x é falsa.

Relações Relações atuam objetos, determinando se os objetos estão ou não de uma certa maneira interligados. = e são relações. serem amigos um do outro e se detestarem mutuamente são relações pessoas.

Operações Operações atuam objetos, formando objetos a partir de objetos dados. As definições de por listagem e por propriedades podem ser vistas como. Definição por listagem atua objetos e forma um conjunto. Definição por propriedade atua um conjunto e uma propriedade e forma um conjunto. Vamos, agora, estudar as mais importantes.

Definição Sejam A, B U. A interseção de A com B é o conjunto cujos elementos são os objetos do U que pertencem a A e a B simultaneamente. Em símbolos: A B = {x U : x A e x B}.

Para todos A, B, C U, temos que: Propriedades básicas de (1) Substitutividade Se A = B, então A C = B C. (2) Associatividade A (B C) = (A B) C. (3) Comutatividade A B = B A.

Para todos A, B, C U, temos que: Propriedades básicas de (1) Substitutividade Se A = B, então A C = B C. (2) Associatividade A (B C) = (A B) C. (3) Comutatividade A B = B A.

Para todos A, B, C U, temos que: Propriedades básicas de (1) Substitutividade Se A = B, então A C = B C. (2) Associatividade A (B C) = (A B) C. (3) Comutatividade A B = B A.

(4) Elemento neutro A U = A. (5) Elemento zero A =. (6) Idempotência A A = A. Propriedades básicas de (7) Se A B, então A C B C. (8) A B A.

(4) Elemento neutro A U = A. (5) Elemento zero A =. (6) Idempotência A A = A. Propriedades básicas de (7) Se A B, então A C B C. (8) A B A.

(4) Elemento neutro A U = A. (5) Elemento zero A =. (6) Idempotência A A = A. Propriedades básicas de (7) Se A B, então A C B C. (8) A B A.

(4) Elemento neutro A U = A. (5) Elemento zero A =. (6) Idempotência A A = A. Propriedades básicas de (7) Se A B, então A C B C. (8) A B A.

(4) Elemento neutro A U = A. (5) Elemento zero A =. (6) Idempotência A A = A. Propriedades básicas de (7) Se A B, então A C B C. (8) A B A.

Definição Sejam A, B U. A união de A com B é o conjunto cujos elementos são os objetos de U que pertencem a A, os que pertencem a B e os que pertencem simultaneamente a A e a B. Em símbolos: A B = {x U : x A ou x B}.

Para todos A, B, C U, temos que: Propriedades básicas de (1) Substitutividade Se A = B, então A C = B C. (2) Associatividade A (B C) = (A B) C. (3) Comutatividade A B = B A.

Para todos A, B, C U, temos que: Propriedades básicas de (1) Substitutividade Se A = B, então A C = B C. (2) Associatividade A (B C) = (A B) C. (3) Comutatividade A B = B A.

Para todos A, B, C U, temos que: Propriedades básicas de (1) Substitutividade Se A = B, então A C = B C. (2) Associatividade A (B C) = (A B) C. (3) Comutatividade A B = B A.

(4) Elemento neutro A = A. (5) Elemento zero A U = U. (6) Idempotência A A = A. Propriedades básicas de (7) Se A B, então A C B C. (8) A A B.

(4) Elemento neutro A = A. (5) Elemento zero A U = U. (6) Idempotência A A = A. Propriedades básicas de (7) Se A B, então A C B C. (8) A A B.

(4) Elemento neutro A = A. (5) Elemento zero A U = U. (6) Idempotência A A = A. Propriedades básicas de (7) Se A B, então A C B C. (8) A A B.

(4) Elemento neutro A = A. (5) Elemento zero A U = U. (6) Idempotência A A = A. Propriedades básicas de (7) Se A B, então A C B C. (8) A A B.

(4) Elemento neutro A = A. (5) Elemento zero A U = U. (6) Idempotência A A = A. Propriedades básicas de (7) Se A B, então A C B C. (8) A A B.

Propriedades relacionando e (9) Distributividade A (B C) = (A B) (A C). A (B C) = (A B) (A C). (10) Absorção A (A B) = A. A (A B) = A.

Propriedades relacionando e (9) Distributividade A (B C) = (A B) (A C). A (B C) = (A B) (A C). (10) Absorção A (A B) = A. A (A B) = A.

Definição Seja A U. O complemento de A é o conjunto cujos elementos são os objetos de U que não pertencem a A. Em símbolos: A = {x U : x A}.

Propriedades básicas de Para todos os A, B e C, temos que: (1) Substitutividade Se A = B, então A = B. (2) Involutividade A = A. (3) Leis de De Morgan A B = A B. A B = A B.

Propriedades básicas de Para todos os A, B e C, temos que: (1) Substitutividade Se A = B, então A = B. (2) Involutividade A = A. (3) Leis de De Morgan A B = A B. A B = A B.

Propriedades básicas de Para todos os A, B e C, temos que: (1) Substitutividade Se A = B, então A = B. (2) Involutividade A = A. (3) Leis de De Morgan A B = A B. A B = A B.

(4) Elemento simétrico (da união) A A = U. Propriedades básicas de (5) Elemento inverso (da interseção) A A =. (6) Se A B, então B A. (7) U =. (8) = U.

(4) Elemento simétrico (da união) A A = U. Propriedades básicas de (5) Elemento inverso (da interseção) A A =. (6) Se A B, então B A. (7) U =. (8) = U.

(4) Elemento simétrico (da união) A A = U. Propriedades básicas de (5) Elemento inverso (da interseção) A A =. (6) Se A B, então B A. (7) U =. (8) = U.

(4) Elemento simétrico (da união) A A = U. Propriedades básicas de (5) Elemento inverso (da interseção) A A =. (6) Se A B, então B A. (7) U =. (8) = U.

(4) Elemento simétrico (da união) A A = U. Propriedades básicas de (5) Elemento inverso (da interseção) A A =. (6) Se A B, então B A. (7) U =. (8) = U.

Problema Prove que, para todos A, B, C U. 1. A B se, e somente se, A B = A. 2. Se A B e A C, então A B C.

1. Exercícios do Capítulo 3 do Menezes Exercícios (Paulo B. Menezes, Matemática Discreta para Computação e Informática, 2a. edição, Sagra Luzzatto / Instituto de Informática da UFRGS, Porto Alegre, 2006). 2. Exercícios do Capítulo 2, pp. 73-75, itens 1, 2, 7, 10-15, 16(a-e), 16(g,h), 17, 21, 22, 25, do Scheinerman (E.R. Scheinerman, Matemática Discreta, Thomson, São Paulo, 2006). 3. Exercícios da Lista 4.