n. 28 RELAÇÕES BINÁRIAS ENTRE CONJUNTOS

Tamanho: px
Começar a partir da página:

Download "n. 28 RELAÇÕES BINÁRIAS ENTRE CONJUNTOS"

Transcrição

1 n. 28 RELAÇÕES BINÁRIAS ENTRE CONJUNTOS Uma relação é um conjunto de pares ordenados, ou seja, um subconjunto de A B. Utilizando pares ordenados podemos definir relações por meio da linguagem de conjuntos. Definição: Sejam A e B conjuntos não vazios, uma relação de A em B, ou relação binária de A em B, denotada por R(A, B), é um subconjunto de A B. Se um par (x, y) pertence a uma relação R, diremos que x está relacionado com y pela relação R e denotaremos por x R y ("x erre y") ou (x, y) R ou x relacionado com y. Quando A = B dizemos que R é uma relação sobre o conjunto A ou que R é uma relação em A. Para facilitar a notação, quando não há dúvidas quanto ao produto cartesiano A B que estamos utilizando, denotamos R(A, B), simplesmente por R. O termo binário é usado para indicar uma relação entre dois conjuntos. Há duas maneiras de apresentar uma relação: Apresentando o subconjunto de A B, através de seus pares ordenados, ou seja, exibindo os elementos do produto cartesiano. O que nem sempre é possível. Ou definindo uma regra, na qual escolhemos os pares ordenados que satisfazem essa regra. Assim, escrevemos

2 uma proposição P(x, y) onde (x, y) A B, que deve ser verdadeira para todos os elementos de R(A, B). Outra forma de apresentar essa relação é a notação: R(A, B, P), onde P é uma proposição. Exemplos: a. Sejam A = {0, 1,2} e B = {c, d, e, f}. Definimos a relação R(A, B) = {(0, d), (0, e), (1, d), (1, f), (2, c), (2, d)} Observe por exemplo que 1 R d (1 está relacionado com d). Mas, o elemento 0 A não está relacionado, por exemplo, com f. b. Sejam A = N, B = N, P (x, y): "x é divisível por y". O conjunto R(A, B, P) = {(x, y) A B / P(x, y) é verdadeira} R(A, B, P) = {(x, y) N N / x é divisível por y} É uma relação N N. Por exemplo: 15 R 3, pois 15 é divisível por 3. c. Seja a relação R em A = { 1, 0, 1, 2} tal que "x é divisível por y". Descrevendo o subconjunto A A temos: R(A, A, P) = {(x, y) A A / x é divisível por y} A A = {( 1, 1), ( 1, 0), ( 1, 1), ( 1, 2), ( ) Logo, R = {( 1, 1), ( 1, 1), (0, 1), (0, 1), (0, 2), (1, 1), (1, 1), (2, 1), (2, 1), (2, 2)} Pois, 1 1 = 1; 1 1 = 1; 0 1 = 0; 0 1 = 0; 0 2 = 0; 1 1 = 1; 1 1 = 1; 2 1 = 2; 2 1 = 2; 2 2 = 1 d. Sejam A = {1,2, 3} e B = {3, 4}. Definimos a relação R(A, B, P) = {(x, y) A B / x + 1 < y}

3 Logo, 1 R 3, pois 1+1 < 3 2 R 4, pois 2+1 < 4 R = {(1, 3), (1, 4), (2, 4)} e. Sejam os conjuntos A = {1,2, 3} e B = {1,2} e a relação binária R de A para B como: (x, y) A B, (x, y) R / x y é par. Logo, temos que A B = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 1), (3, 2)} e R = {(1, 1), (2, 2), (3, 1)} f. Sejam os conjuntos S = {1,2} e T = {2,3,4} S T = { (1,2), (1,3), (1,4), (2,2), (2,3), (2,4) } Uma relação R definida por: R(S, T, P) = {(x, y) S T/x = y 2 } satisfeita pelos pares (1,2) e (2,4), poderia também ser definida pela declaração que {(1,2), (2,4)} é o conjunto dos pares ordenados que satisfazem R. g. Sejam os conjuntos S = {1,2} e T = {2,3,4} e a relação binária R dada por: x R y / x + y é ímpar S T = {(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4)} R = {(1,2), (1,4), (2,3)}

4 h. Sejam os conjuntos A = {1, 2, 3} e B = {1, 3, 5} e as relações: (x, y) A B; (x, y) S / x < y A B = {(1, 1), (1, 3), (1, 5), (2, 1), (2, 3), (2, 5), (3, 1), (3, 3), (3, 5)} R = { (1, 3), (1, 5), (2, 3), (2, 5), (3, 5)} i. Sendo os conjuntos A = {1, 2, 3} e B = { 1, 0, 4, 5}, e a relação R = { (x, y) A B / x + y é um número primo }. Descreva os elementos de R. R = { (1, 4); (2, 0); (2, 5); (3, 1); (3, 0); (3, 4) } j. Seja X um conjunto e P(X) o conjunto das partes de X e a relação R(X, P(X), P) em X P(X) caracterizada pela proposição P(x, y): x y. Considerando o conjunto X = {1, 2, 3}, determine: X P(X), R. P(X) = {, X, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}} X P(X) = {(1, X), (1, {1}), (1, {2}), (1, {3}), (1, {1,2}), (1, {1,3}), (1, {2,3}),

5 (2, X), (2, {1}), (2, {2}), (2, {3}), (2, {1,2}), (2, {1,3}), (2, {2,3}), (3, X), (3, {1}), (3, {2}), (3, {3}), (3, {1,2}), (3, {1,3}), (3, {2,3})} R = {(1, X), (1, {1}), (1, {1,2}), (1, {1,3}), (2, X), (2, {2}), (2, {1,2}), (2, {2,3}), (3, X), (3, {3}), (3, {1,3}), (3, {2,3})} FORMAS DE REPRESENTAÇÃO USANDO FLECHAS No estudo das relações sobre um conjunto E, com E finito e tendo poucos elementos, é muito útil a representação através do esquema de flechas: Representamos o conjunto E com seus elementos e indicamos cada par (a, b) da relação através de uma flecha com origem a e extremidade b. Se (a, b) está na relação, usa-se um laço envolvendo a. Exemplo: O esquema a seguir representa a relação R = {(a, a), (b, b), (a, b), (b, c), (c, b)} sobre E = {a, b, c}.

6 Exercício: Descreva as relações: a. a. Este é um exemplo de relação reflexiva: em cada ponto do diagrama deve haver um laço. R = {(a, a), (b, b), (c, c), (a, b), (a, c)} b. b. Este é um exemplo de relação simétrica: toda flecha deve ter duas pontas. R = {(a, a), (b, b), (ac b), (b, c), (c, b), (d, b), (b, d)} c.

7 c. Este é um exemplo de relação transitiva: para todo par de flechas consecutivas existe uma fecha cuja origem é a da primeira e a extremidade, a da segunda. R = {(a, a), (b, b), (b, c), (b, d), (d, c)} Referências ALENCAR FILHO, Edgard de. Teoria Elementar dos Conjuntos. 20 ed. 1ª reimpressão. São Paulo: Nobel, DOMINGUES, Hygino; IEZZI, G. Álgebra Moderna. 2 ed. São Paulo: Atual, GERÔNIMO, João Roberto; FRANCO, Valdeni Soliani. Fundamentos da Matemática: uma introdução à lógica matemática, teoria dos conjuntos, relações e funções. 2 ed. Maringá: Eduem, 2008.

Relações Binárias, Aplicações e Operações

Relações Binárias, Aplicações e Operações Relações Binárias, Aplicações e Operações MAT 131-2018 II Pouya Mehdipour 19 de outubro de 2018 Pouya Mehdipour 19 de outubro de 2018 1 / 7 Referências ALENCAR FILHO, E. Teoria Elementar dos Conjuntos,

Leia mais

n. 26 PRODUTO CARTESIANO

n. 26 PRODUTO CARTESIANO n. 26 PRODUTO CARTESIANO Os nomes Plano Cartesiano e Produto Cartesiano são homenagens ao seu criador René Descartes (1596 1650), filósofo e matemático francês. O nome de Descartes em Latim era Renatus

Leia mais

AXB = {(x, y) x A e y B}

AXB = {(x, y) x A e y B} CENTRO UNIVERSITÁRIO DO NORTE PAULISTA LÓGICA E MATEMÁTICA DISCRETA 2010 1 Produto Cartesiano Par ordenado: são dois elementos em uma ordem fixa, (x,y) Produto Cartesiano: Dados dois conjuntos A e B, não

Leia mais

Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I

Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I 1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT 131 - Introdução à Álgebra 2015/I Tópico: Produto Cartesiano 1. Dados os conjuntos M = {1, 3, 5} e N = {2, 4},

Leia mais

Produto Cartesiano. Exemplo: Dados os conjuntos A = {5,6} e B = {2,3,4}, vamos determinar o produto cartesiano AXB;

Produto Cartesiano. Exemplo: Dados os conjuntos A = {5,6} e B = {2,3,4}, vamos determinar o produto cartesiano AXB; Produto Cartesiano Par ordenado: são dois elementos em uma ordem fixa, (x,y) Produto Cartesiano: Dados dois conjuntos A e B, não vazios, chamamos de produto cartesiano de A por B o conjunto indicado por

Leia mais

1) Seja o conjunto A = (0;1). Quantas relações binárias distintas podem ser definidas sobre o conjunto A?

1) Seja o conjunto A = (0;1). Quantas relações binárias distintas podem ser definidas sobre o conjunto A? RESUMO A relação binária é uma relação entre dois elementos, sendo um conjunto de pares ordenados. As relações binárias são comuns em muitas áreas da matemática. Um par ordenado consiste de dois termos,

Leia mais

n. 25 DIAGRAMAS DE VENN

n. 25 DIAGRAMAS DE VENN n. 25 DIAGRAMAS DE VENN Foi o matemático inglês John Venn (1834-1923) que criou os diagramas, com o intuito de facilitar a compreensão na relação de união e intersecção entre conjuntos. John Venn desenvolveu

Leia mais

MAT-330: Teoria dos Conjuntos

MAT-330: Teoria dos Conjuntos MAT-330: Teoria dos Conjuntos 1 a Lista de Exercícios 1 o Semestre de 2011 1 Explicações iniciais Importante: Cada exercício faz uso de alguns dos axiomas de ZF. Tente sempre declarar explicitamente quais

Leia mais

Universidade Federal de Viçosa Departamento de Matemática III LISTA DE MAT INTRODUÇÃO À ÁLGEBRA

Universidade Federal de Viçosa Departamento de Matemática III LISTA DE MAT INTRODUÇÃO À ÁLGEBRA Universidade Federal de Viçosa Departamento de Matemática III LISTA DE MAT 131 - INTRODUÇÃO À ÁLGEBRA 1. Seja A = {1, 3, 5, 7, 11}. Verifique quais das seguintes proposições são verdadeiras ou falsas.

Leia mais

A ordem em que os elementos se apresentam em um conjunto não é levada em consideração. Há

A ordem em que os elementos se apresentam em um conjunto não é levada em consideração. Há 1 Produto Cartesiano Par Ordenado A ordem em que os elementos se apresentam em um conjunto não é levada em consideração. Há casos entretanto em que a ordem é importante. Daí a necessidade de se introduzir

Leia mais

Números Reais. Jairo Menezes e Souza 19/09/2013 UFG/CAC

Números Reais. Jairo Menezes e Souza 19/09/2013 UFG/CAC UFG/CAC 19/09/2013 Iniciamos com o conjunto dos números naturais N = {0, 1, 2, 3, 4, 5,...} Iniciamos com o conjunto dos números naturais N = {0, 1, 2, 3, 4, 5,...} Chamamos de Z o conjunto dos números

Leia mais

Sejam A e B conjuntos não vazios. Chama-se produto cartesiano de A por B o conjunto

Sejam A e B conjuntos não vazios. Chama-se produto cartesiano de A por B o conjunto RELAÇÕES 1. PRODUTO CARTESIANO Sejam A e conjuntos não vazios. Chama-se produto cartesiano de A por o conjunto xy com x A e y. Notação: de todo os pares ordenados (, ) A ( x, y) x A e y Exemplo 1: Sejam

Leia mais

Teoria Ingênua dos Conjuntos (naive set theory)

Teoria Ingênua dos Conjuntos (naive set theory) Teoria Ingênua dos Conjuntos (naive set theory) MAT 131-2018 II Pouya Mehdipour 5 de outubro de 2018 Pouya Mehdipour 5 de outubro de 2018 1 / 22 Referências ALENCAR FILHO, E. Iniciação à Lógica Matemática,

Leia mais

( r, s) S r s r s sendo S plano euclidiano. RELAÇÕES

( r, s) S r s r s sendo S plano euclidiano. RELAÇÕES RELAÇÕES 1. Produto cartesiano Sejam A e B conjuntos não vazios. Chama-se produto cartesiano de A por B o conjunto de todo os pares ordenados ( xy, ) com x A e y B. Notação: A B ( x, y) x A e y B. Relação

Leia mais

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

Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática 2014 Na teoria dos conjuntos três noções são aceitas sem denição (noção primitiva):: Conjunto;

Leia mais

Lógica e Matemática Discreta

Lógica e Matemática Discreta Lógica e Matemática Discreta Teoria Elementar dos Conjuntos Prof Clezio 04 de Junho de 2010 Curso de Ciência da Computação Noções básicas Um conjunto designa-se geralmente por uma letra latina maiúscula:

Leia mais

Curso: Ciência da Computação Disciplina: Matemática Discreta RELAÇÕES. Prof.: Marcelo Maraschin de Souza

Curso: Ciência da Computação Disciplina: Matemática Discreta RELAÇÕES. Prof.: Marcelo Maraschin de Souza Curso: Ciência da Computação Disciplina: Matemática Discreta RELAÇÕES Prof.: Marcelo Maraschin de Souza marcelo.maraschin@ifsc.edu.br Considere o conjunto S={1,2,3}, descreva o conjunto dos pares ordenados

Leia mais

Lógica e Matemática Discreta

Lógica e Matemática Discreta Lógica e Matemática Discreta Teoria Elementar dos Conjuntos Prof Clezio 19 de Agosto de 2018 Curso de Ciência da Computação Relações Binárias Sejam A e B dois conjuntos. Definição: Chama-se relação binária

Leia mais

Aulas 10 e 11 / 18 e 20 de abril

Aulas 10 e 11 / 18 e 20 de abril 1 Conjuntos Aulas 10 e 11 / 18 e 20 de abril Um conjunto é uma coleção de objetos. Estes objetos são chamados de elementos do conjunto. A única restrição é que em geral um mesmo elemento não pode contar

Leia mais

Relações Binárias, Aplicações e Operações

Relações Binárias, Aplicações e Operações Relações Binárias, Aplicações e Operações MAT 131-2018 II Pouya Mehdipour 6 de dezembro de 2018 Pouya Mehdipour 6 de dezembro de 2018 1 / 24 Referências ALENCAR FILHO, E. Teoria Elementar dos Conjuntos,

Leia mais

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

Este material é apenas um resumo de parte do conteúdo da disciplina. Aviso Este material é apenas um resumo de parte do conteúdo da disciplina. O material completo a ser estudado encontra-se no Capítulo 1 - Seções 1.1, 1.2 do livro texto da disciplina: Números e Funções

Leia mais

Sumário Algumas Demonstrações CONCLUSÃO RESUMO ATIVIDADES... 34

Sumário Algumas Demonstrações CONCLUSÃO RESUMO ATIVIDADES... 34 Sumário Aula 11: Relações Binárias 9 11.1 Introdução... 10 11.2 Relações Binárias... 10 11.2.1 Propriedades das Relações Binárias... 13 11.3 Algumas Demonstrações... 16 11.4 CONCLUSÃO... 18 11.5 RESUMO....

Leia mais

12 AULA. Relações de Ordem LIVRO. META: Apresentar o conceito de relações de ordem e suas propriedades.

12 AULA. Relações de Ordem LIVRO. META: Apresentar o conceito de relações de ordem e suas propriedades. 2 LIVRO Relações de Ordem META: Apresentar o conceito de relações de ordem e suas propriedades. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Determinar se uma dada relação é uma relação

Leia mais

Linguagens Formais e Autômatos

Linguagens Formais e Autômatos Linguagens Formais e Autômatos (notas da primeira aula 1 Definições básicas 1.1 Conjuntos Definição 1. Um conjunto é uma coleção de objetos, denominados elementos. Notação 1. Para indicar que um elemento

Leia mais

4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn

4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn 4 Relações 4.1 Preliminares Definição 4.1. Sejam A e B conjuntos. Uma relação binária, R, de A em B é um subconjunto de A B. (R A B) Dizemos que a A está relacionado com b B sss (a, b) R. Notação: arb.

Leia mais

Teoria Elementar dos Conjuntos

Teoria Elementar dos Conjuntos Teoria Elementar dos Conjuntos Este capítulo visa oferecer uma breve revisão sobre teoria elementar dos conjuntos. Além de conceitos básicos importantes em matemática, a sua imprtância reside no fato da

Leia mais

Teoria Elementar dos Conjuntos

Teoria Elementar dos Conjuntos Teoria Elementar dos Conjuntos Última revisão em 27 de fevereiro de 2009 Este texto é uma breve revisão sobre teoria elementar dos conjuntos. Em particular, importam-nos os aspectos algébricos no estudo

Leia mais

13 AULA. Relações de Equivalência LIVRO. META: Introduzir o conceito de relações de equivalência e suas propriedades.

13 AULA. Relações de Equivalência LIVRO. META: Introduzir o conceito de relações de equivalência e suas propriedades. 2 LIVRO Relações de Equivalência META: Introduzir o conceito de relações de equivalência e suas propriedades. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Identificar se uma dada relação

Leia mais

FUNÇÃO. 4.1 Relação Binária. Definição 4.1

FUNÇÃO. 4.1 Relação Binária. Definição 4.1 FUNÇÃO Apesar da formalização de função ter se efetivado com as reformas curriculares do século IX, seu uso já era freqüente desde a antiguidade, pelos babilônios. O conceito de função está presente em

Leia mais

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem Relações de Equivalência e de Ordem complemento para a disciplina de Matemática Discreta versão 1 Jerônimo C. Pellegrini 5 de agosto de 2013 ii Sumário Sumário Nomenclatura 1 Conjuntos e Relações 1 1.1

Leia mais

Semana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos

Semana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 e pertinência Conjunto é entendido como uma coleção de

Leia mais

Matemática Discreta - 07

Matemática Discreta - 07 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Notas de aula: Cálculo e Matemática Aplicados às Notas de aula: Ciências dos Alimentos

Notas de aula: Cálculo e Matemática Aplicados às Notas de aula: Ciências dos Alimentos Notas de aula: Cálculo e Matemática Aplicados às Notas de aula: Ciências dos Alimentos 1 Conjuntos Um conjunto está bem caracterizado quando podemos estabelecer com certeza se um elemento pertence ou não

Leia mais

Notas de aulas. álgebra abstrata

Notas de aulas. álgebra abstrata 1 Notas de aulas de álgebra abstrata UEMA LICENCIATURA EM MATEMATICA Elaborada por : Raimundo Merval Morais Gonçalves Licenciado em Matemática/UFMA Professor Assistente/UEMA Especialista em Ensino de Ciências/UEMA

Leia mais

CONJUNTO DOS NÚMEROS INTEIROS

CONJUNTO DOS NÚMEROS INTEIROS Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTO DOS NÚMEROS INTEIROS Os números inteiros formam um conjunto, que notaremos por, no qual estão definidas duas operações, que chamaremos de adição

Leia mais

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

Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS. Prof.: Marcelo Maraschin de Souza Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS Prof.: Marcelo Maraschin de Souza 3. Conjuntos Definição: Um conjunto é uma coleção desordenada de zero ou mais objetos, denominados

Leia mais

Conjunto Quociente e Classe de Equivalência (Alguns Exemplos e Definições)

Conjunto Quociente e Classe de Equivalência (Alguns Exemplos e Definições) Exemplos Definições Conjunto Quociente e Classe de Equivalência (Alguns Exemplos e Definições) Matemática Elementar - EAD Departamento de Matemática Universidade Federal da Paraíba 4 de setembro de 2014

Leia mais

Aula 1 Conjuntos. Meta. Introduzir as noções básicas de conjunto e produto cartesiano de. conjuntos. Objetivos

Aula 1 Conjuntos. Meta. Introduzir as noções básicas de conjunto e produto cartesiano de. conjuntos. Objetivos Conjuntos AULA 1 Aula 1 Conjuntos Meta conjuntos. Introduzir as noções básicas de conjunto e produto cartesiano de Objetivos Ao final desta aula, você deve ser capaz de: Definir as noções básicas de conjunto

Leia mais

ALGEBRA I Maria L ucia Torres Villela Instituto de Matem atica Universidade Federal Fluminense Junho de 2007 Revis ao em Fevereiro de 2008

ALGEBRA I Maria L ucia Torres Villela Instituto de Matem atica Universidade Federal Fluminense Junho de 2007 Revis ao em Fevereiro de 2008 ÁLGEBRA I Maria Lúcia Torres Villela Instituto de Matemática Universidade Federal Fluminense Junho de 2007 Revisão em Fevereiro de 2008 Sumário Introdução... 3 Parte 1 - Preliminares... 5 Seção 1 - Noções

Leia mais

n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS

n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS As sentenças em que não é possível atribuir valor lógico verdadeiro ou falso, porque isso

Leia mais

Matemática Discreta - 07

Matemática Discreta - 07 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

INTRODUÇÃO À TEORIA DOS CONJUNTOS1

INTRODUÇÃO À TEORIA DOS CONJUNTOS1 INTRODUÇÃO À TEORIA DOS CONJUNTOS1 TÓPICO Gil da Costa Marques 1.1 Elementos da Teoria dos Conjuntos 1.2 Introdução 1.3 Conceitos Básicos 1.4 Subconjuntos e Intervalos 1.5 Conjuntos Numéricos 1.5.1 O Conjunto

Leia mais

Teoria dos anéis 1 a parte 3

Teoria dos anéis 1 a parte 3 A U L A Teoria dos anéis 1 a parte 3 Meta da aula Descrever a estrutura algébrica de anel como uma generalização de determinadas propriedades dos números inteiros. objetivos Ao final desta aula, você deverá

Leia mais

Números - Aula 03. Alexandre Nolasco de Carvalho Universidade de São Paulo São Carlos SP, Brazil

Números - Aula 03. Alexandre Nolasco de Carvalho Universidade de São Paulo São Carlos SP, Brazil Números - Aula 03 Alexandre Nolasco de Carvalho Universidade de São Paulo São Carlos SP, Brazil 28 de Fevereiro de 2014 Primeiro Semestre de 2014 Turma 2013106 - Engenharia Mecânica Corpos Vimos que o

Leia mais

n. 18 ALGUNS TERMOS...

n. 18 ALGUNS TERMOS... n. 18 ALGUNS TERMOS... DEFINIÇÃO Uma Definição é um enunciado que descreve o significado de um termo. Por exemplo, a definição de linha, segundo Euclides: Linha é o que tem comprimento e não tem largura.

Leia mais

Relações binárias. Laura Goulart. 7 de Março de 2018 UESB. Laura Goulart (UESB) Relações binárias 7 de Março de / 1

Relações binárias. Laura Goulart. 7 de Março de 2018 UESB. Laura Goulart (UESB) Relações binárias 7 de Março de / 1 Relações binárias Laura Goulart UESB 7 de Março de 2018 Laura Goulart (UESB) Relações binárias 7 de Março de 2018 1 / 1 Produto Cartesiano Dados E, F conjuntos quaisquer não vazios, denimos o produto cartesiano

Leia mais

Capítulo 1. Funções e grácos

Capítulo 1. Funções e grácos Capítulo 1 Funções e grácos Denição 1. Sejam X e Y dois subconjuntos não vazios do conjunto dos números reais. Uma função de X em Y ou simplesmente uma função é uma regra, lei ou convenção que associa

Leia mais

V Workshop de Álgebra UFG-CAC. Só Funções. Francismar Ferreira Lima. Universidade Tecnológica Federal do Paraná (UTFPR) 09 de novembro de / 43

V Workshop de Álgebra UFG-CAC. Só Funções. Francismar Ferreira Lima. Universidade Tecnológica Federal do Paraná (UTFPR) 09 de novembro de / 43 V Workshop de Álgebra UFG-CAC Só Funções Francismar Ferreira Lima Universidade Tecnológica Federal do Paraná (UTFPR) 09 de novembro de 2016 1 / 43 Planejamento da Apresentação 1 Produto Cartesiano 2 Relação

Leia mais

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

Notas de aula de MAC0329 Álgebra Booleana e Aplicações Notas de aula de MAC0329 Álgebra Booleana e Aplicações Nina S. T. Hirata Depto. de Ciência da Computação IME / USP Este texto é uma referência-base para o curso de MAC0329 (Álgebra Booleana e Aplicações).

Leia mais

Teoria dos Conjuntos. Matemática Discreta. Teoria dos Conjuntos - Parte I. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG.

Teoria dos Conjuntos. Matemática Discreta. Teoria dos Conjuntos - Parte I. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. Matemática Discreta Teoria dos Conjuntos - Parte I Profa. Sheila Morais de Almeida DAINF-UTFPR-PG abril - 2017 Letras maiúsculas: conjuntos. Letras minúsculas: elementos do conjunto. Pertinência: o símbolo

Leia mais

Prof.Letícia Garcia Polac. 6 de abril de 2017

Prof.Letícia Garcia Polac. 6 de abril de 2017 Fundamentos de Lógica e Conjuntos Prof.Letícia Garcia Polac Universidade Federal de Uberlândia UFU-MG 6 de abril de 2017 Sumário 1 EMENTA 2 BIBLIOGRAFIA 3 AVALIAÇÕES 4 INTRODUÇÃO EMENTA Ementa 1. Lógica

Leia mais

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

Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos Pode-se dizer que a é em grande parte trabalho de um único matemático: Georg Cantor (1845-1918). noção de conjunto não é suscetível de definição precisa a partir d noções mais simples, ou seja, é uma noção

Leia mais

Em Matemática existem situações em que há necessidade de distinguir dois pares pela ordem dos elementos. Por exemplo, no sistema de equações

Em Matemática existem situações em que há necessidade de distinguir dois pares pela ordem dos elementos. Por exemplo, no sistema de equações UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E TECNOLÓGICAS CURSO DE ENGENHARIA CIVIL DISCIPLINA: FUNDAMENTOS DE MATEMÁTICA Relações Prof.: Rogério Dias

Leia mais

Números Reais. Víctor Arturo Martínez León b + c ad + bc. b c

Números Reais. Víctor Arturo Martínez León b + c ad + bc. b c Números Reais Víctor Arturo Martínez León (victor.leon@unila.edu.br) 1 Os números racionais Os números racionais são os números da forma a, sendo a e b inteiros e b 0; o conjunto b dos números racionais

Leia mais

n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL

n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL Para demonstrar a validade de um argumento podemos utilizar outro método, conhecido como Demonstração

Leia mais

Apresentar o conceito de grupo, as primeiras definições e diversos exemplos. Aplicar as propriedades dos grupos na resolução de problemas.

Apresentar o conceito de grupo, as primeiras definições e diversos exemplos. Aplicar as propriedades dos grupos na resolução de problemas. Aula 04 O CONCEITO DE GRUPO META Apresentar o conceito de grupo, as primeiras definições e diversos exemplos. OBJETIVOS Definir e exemplificar grupos e subgrupos. Aplicar as propriedades dos grupos na

Leia mais

Aula 4: Elementos da Teoria de Conjuntos

Aula 4: Elementos da Teoria de Conjuntos 1 / 20 Elementos da Teoria de Conjuntos Bases Matemáticas - 3 o /2018 Dahisy Lima Aula 4: Elementos da Teoria de Conjuntos 2 / 20 Conjuntos Elementos da Teoria de Conjuntos Do ponto de vista ingênuo, um

Leia mais

Notas de Aula Disciplina Matemática Tópico 03 Licenciatura em Matemática Osasco -2010

Notas de Aula Disciplina Matemática Tópico 03 Licenciatura em Matemática Osasco -2010 1. Funções : Definição Considere dois sub-conjuntos A e B do conjunto dos números reais. Uma função f: A B é uma regra que define uma relação entre os elementos de A e B, de tal forma que a cada elemento

Leia mais

MAT105 - Fundamentos de Matemática Elementar I

MAT105 - Fundamentos de Matemática Elementar I MAT105 - Fundamentos de Matemática Elementar I Prof. Dr. Diogo Machado (diogo.machado@ufv.br) 1o semestre de 2016 Universidade Federal de Viçosa - UFV Departamento de Matemática Um dos mais importantes

Leia mais

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO

Leia mais

1) Verifique as afirmativas abaixo e responda, qual é a correspondente ao conjunto infinito?

1) Verifique as afirmativas abaixo e responda, qual é a correspondente ao conjunto infinito? Resumo Os conjuntos podem ser finitos ou infinitos. Intuitivamente um conjunto é finito se consiste de um número específico de elementos diferentes, isto é, se ao contarmos os diferentes membros do conjunto

Leia mais

Lógica Elementar, Conjuntos e Relações

Lógica Elementar, Conjuntos e Relações Lógica Elementar Conjuntos e Relações Lógica Elementar O estudo da lógica é o estudo dos princípios e métodos usados para distinguir argumentos válidos dos não válidos. Proposição Declaração que é verdadeira

Leia mais

Capítulo 0: Conjuntos, funções, relações

Capítulo 0: Conjuntos, funções, relações Capítulo 0: Conjuntos, funções, relações Notação. Usaremos Nat para representar o conjunto dos números naturais; Int para representar o conjunto dos números inteiros. Para cada n Nat, [n] representa o

Leia mais

Matemática Elementar. Matemática Elementar por Inaldo Barbosa de Albuquerque

Matemática Elementar. Matemática Elementar por Inaldo Barbosa de Albuquerque Matemática Elementar i Matemática Elementar por Inaldo Barbosa de Albuquerque Matemática Elementar ii COLLABORATORS TITLE : Matemática Elementar ACTION NAME DATE SIGNATURE WRITTEN BY Inaldo Barbosa de

Leia mais

INE Fundamentos de Matemática Discreta para a Computação

INE Fundamentos de Matemática Discreta para a Computação INE5403 - Fundamentos de Matemática Discreta para a Computação 5) Relações 5.1) Relações e Dígrafos 5.2) Propriedades de Relações 5.3) Relações de Equivalência 5.4) Manipulação de Relações 5.5) Fecho de

Leia mais

Definição: Todo objeto parte de um conjunto é denominado elemento.

Definição: Todo objeto parte de um conjunto é denominado elemento. 1. CONJUNTOS 1.1. TEORIA DE CONJUNTOS 1.1.1. DEFINIÇÃO DE CONJUNTO Definição: Conjunto é toda coleção de objetos. Uma coleção de números é um conjunto. Uma coleção de letras é um conjunto. Uma coleção

Leia mais

ENFOQUE USANDO CORTES DE DEDEKIND

ENFOQUE USANDO CORTES DE DEDEKIND Universidade Estadual de Maringá - Departamento de Matemática Cálculo Diferencial e Integral: um KIT de Sobrevivência c Publicação eletrônica do KIT http://www.dma.uem.br/kit CONSTRUÇÃO DOS REAIS: UM ENFOQUE

Leia mais

Capítulo 2. f : A B. 3. A regra em (3) não define uma função de A em B porque 4 A está associado a mais de um. elemento de B.

Capítulo 2. f : A B. 3. A regra em (3) não define uma função de A em B porque 4 A está associado a mais de um. elemento de B. Departamento de Matemática Disciplina MAT154 - Cálculo 1 Capítulo 2 Funções 2.1 Definição Sejam A e B conjuntos não vazios. Uma função com domínio A e contradomínio B é uma regra f que a cada elemento

Leia mais

Um conjunto é uma coleção de objetos. Esses objetos podem ser qualquer coisa. Costumamos chamar esses objetos de elementos do conjuntos.

Um conjunto é uma coleção de objetos. Esses objetos podem ser qualquer coisa. Costumamos chamar esses objetos de elementos do conjuntos. Capítulo 1 Conjuntos 1.1 Noção de conjuntos Um conjunto é uma coleção de objetos. Esses objetos podem ser qualquer coisa. Costumamos chamar esses objetos de elementos do conjuntos. 1. Uma coleção de revista

Leia mais

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

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017 Matemática Discreta Fundamentos e Conceitos da Teoria dos Números Professora Dr. a Donizete Ritter Universidade do Estado de Mato Grosso 4 de setembro de 2017 Ritter, D. (UNEMAT) Matemática Discreta 4

Leia mais

Reticulados, Álgebra Booleana e Formas Quadráticas Abstratas

Reticulados, Álgebra Booleana e Formas Quadráticas Abstratas Reticulados, Álgebra Booleana e Formas Quadráticas Abstratas Clotilzio Moreira dos Santos Resumo O objetivo deste trabalho é introduzir formas quadráticas sobre reticulados. Demonstramos que a definição

Leia mais

Teoria dos Conjuntos. Prof. Jorge

Teoria dos Conjuntos. Prof. Jorge Teoria dos Conjuntos Conjuntos Conceitos iniciais Na teoria dos conjuntos, consideramos como primitivos os conceitos de elemento, pertinência e conjunto. Exemplos - Conjunto I. O conjunto dos alunos do

Leia mais

CM Funções. Notas de Aula PSE Departamento de Matemática - UFPR

CM Funções. Notas de Aula PSE Departamento de Matemática - UFPR 1. CM 128 - Funções Notas de Aula PSE 2017 Departamento de Matemática - UFPR Sumário 1 Conjuntos 4 1.1 Aula 1 - Operações entre conjuntos................................... 4 1.1.1 Conjuntos.............................................

Leia mais

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

ÁLGEBRA. AULA 1 _ Conjuntos Professor Luciano Nóbrega. Maria Auxiliadora 1 ÁLGEBRA AULA 1 _ Conjuntos Professor Luciano Nóbrega Maria Auxiliadora 2 Pode-se dizer que a é, em grande parte, trabalho de um único matemático: Georg Cantor (1845-1918). A noção de conjunto não é suscetível

Leia mais

Matemática Discreta Parte 11

Matemática Discreta Parte 11 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta Parte 11 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br - www.univasf.edu.br/~jorge.cavalcanti

Leia mais

Curso de Administração Centro de Ciências Sociais Aplicadas Universidade Católica de Petrópolis. Matemática 1. Revisão - Conjuntos e Relações v. 0.

Curso de Administração Centro de Ciências Sociais Aplicadas Universidade Católica de Petrópolis. Matemática 1. Revisão - Conjuntos e Relações v. 0. Curso de Administração Centro de Ciências Sociais Aplicadas Universidade Católica de Petrópolis Matemática 1 Revisão - Conjuntos e Relações v. 0.1 Baseado nas notas de aula de Matemática I da prof. Eliane

Leia mais

Bases Matemáticas. Relembrando: representação geométrica para os reais 2. Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos

Bases Matemáticas. Relembrando: representação geométrica para os reais 2. Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos 1 Bases Matemáticas Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos Rodrigo Hausen 10 de outubro de 2012 v. 2012-10-15 1/34 Relembrando: representação geométrica para os reais 2 Uma

Leia mais

FUNÇÕES I- PRÉ-REQUISITOS PARA O ESTUDO DAS FUNÇÕES

FUNÇÕES I- PRÉ-REQUISITOS PARA O ESTUDO DAS FUNÇÕES FUNÇÕES I- PRÉ-REQUISITOS PARA O ESTUDO DAS FUNÇÕES 1- PRODUTO CARTESIANO 1.1- Par Ordenado - Ao par de números reais a e b, dispostos em uma certa ordem, denominamos par ordenado e indicamos por: (a,

Leia mais

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

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO

Leia mais

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014 Aula 1 Elementos de Lógica e Linguagem Matemática Prof. Rodrigo Hausen 24 de junho de 2014 Definição Uma proposição é uma sentença declarativa que é verdadeira ou falsa, mas não simultaneamente ambas.

Leia mais

DIVISÃO NOS INTEIROS. Luciana Santos da Silva Martino. lulismartino.wordpress.com PROFMAT - Colégio Pedro II

DIVISÃO NOS INTEIROS. Luciana Santos da Silva Martino. lulismartino.wordpress.com PROFMAT - Colégio Pedro II Sumário DIVISÃO NOS INTEIROS Luciana Santos da Silva Martino lulismartino.wordpress.com lulismartino@gmail.com PROFMAT - Colégio Pedro II 18 de agosto de 2017 Sumário 1 Divisibilidade 2 Divisão Euclidiana

Leia mais

INTRODUÇÃO À TEORIA DOS CONJUNTOS

INTRODUÇÃO À TEORIA DOS CONJUNTOS 1 INTRODUÇÃO À TEORIA DOS CONJUNTOS Gil da Costa Marques 1.1 Introdução 1.2 Conceitos básicos 1.3 Subconjuntos e intervalos 1.4 O conjunto dos números reais 1.4.1 A relação de ordem em 1.5 Intervalos 1.5.1

Leia mais

Capítulo 2. f : A B. elementos A com elementos de B ilustradas nos seguintes diagramas.

Capítulo 2. f : A B. elementos A com elementos de B ilustradas nos seguintes diagramas. Capítulo 2 Funções Sejam A e B conjuntos não vazios. Uma função com domínio A e contradomínio B é uma regra f que a cada elemento em A associa um único elemento em B. A notação usual para uma função f

Leia mais

Relações. Relações. {1, 2} = {2, 1}, {3, -1} = {-1, 3}, {a, b} = {b, a}.

Relações. Relações. {1, 2} = {2, 1}, {3, -1} = {-1, 3}, {a, b} = {b, a}. UNIVERSIDDE DO ESTDO DE MTO GROSSO CMPUS UNIVERSITÁRIO DE SINOP FCULDDE DE CIÊNCIS EXTS E TECNOLÓGICS CURSO DE ENGENHRI CIVIL DISCIPLIN: FUNDMENTOS DE MTEMÁTIC Relações. Par ordenado Em Matemática eistem

Leia mais

Teoria dos conjuntos

Teoria dos conjuntos Matemática I Teoria dos conjuntos UNE - Universidade do Estado da ahia Departamento de Ciências Humanas e Tecnologias Campus XXIV Xique Xique Matemática I Teoria dos conjuntos Prof. MSc. Rebeca Dourado

Leia mais

Axiomas de corpo ordenado

Axiomas de corpo ordenado Axiomas de corpo ordenado 2 a lista de exercícios Análise real A abordagem axiomática dos números reais previne erros que a intuição pode ocasionar e torna mais rigoroso o processo de demonstração matemática,

Leia mais

Existem conjuntos em todas as coisas e todas as coisas são conjuntos de outras coisas.

Existem conjuntos em todas as coisas e todas as coisas são conjuntos de outras coisas. MÓDULO 3 CONJUNTOS Saber identificar os conjuntos numéricos em diferentes situações é uma habilidade essencial na vida de qualquer pessoa, seja ela um matemático ou não! Podemos dizer que qualquer coisa

Leia mais

Reticulados e Álgebras de Boole

Reticulados e Álgebras de Boole Capítulo 3 Reticulados e Álgebras de Boole 3.1 Reticulados Recorde-se que uma relação de ordem parcial num conjunto X é uma relação reflexiva, anti-simétrica e transitiva em X. Um conjunto parcialmente

Leia mais

Teoria da Computação

Teoria da Computação Introdução Março - 2009 1 Noções e Terminologia Matemática Conjuntos Um conjunto é um grupo de objetos, chamados elementos ou membros, representado como uma unidade. O conjunto { 3, 41, 57} possui os elementos

Leia mais

Definir classes laterais e estabelecer o teorema de Lagrange. Aplicar o teorema de Lagrange na resolução de problemas.

Definir classes laterais e estabelecer o teorema de Lagrange. Aplicar o teorema de Lagrange na resolução de problemas. Aula 05 GRUPOS QUOCIENTES METAS Estabelecer o conceito de grupo quociente. OBJETIVOS Definir classes laterais e estabelecer o teorema de Lagrange. Aplicar o teorema de Lagrange na resolução de problemas.

Leia mais

n. 27 INTERVALOS REAIS Georg Ferdinand Ludwig Philipp Cantor ( ) matemático russo.

n. 27 INTERVALOS REAIS Georg Ferdinand Ludwig Philipp Cantor ( ) matemático russo. n. 27 INTERVALOS REAIS Georg Ferdinand Ludwig Philipp Cantor (1845-1918) matemático russo. Conhecido por ter elaborado a teoria dos conjuntos, o que o levou ao conceito de número transfinito. Cantor provou

Leia mais

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a Exemplo (U(n)) Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a multiplicação módulo n é uma operação binária

Leia mais

Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x.

Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x. Matemática Discreta ESTiG\IPB Cap2. Relações. Funções pg 4 Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x. então Produto cartesiano do conjunto A pelo conjunto B [cartesian product].

Leia mais

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação Curso: Ciência da Computação Turma: 6ª Série Aula 2 Conceitos Básicos da Computação pode ser definida como a solução de um problema ou, formalmente, o cálculo de uma função, através de um algoritmo. A

Leia mais

Fundamentos 1. Lógica de Predicados

Fundamentos 1. Lógica de Predicados Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.

Leia mais

n. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.

n. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas. n. 6 Equivalências Lógicas A equivalência lógica trata de evidenciar que é possível expressar a mesma sentença de maneiras distintas, preservando, o significado lógico original. Def.: Diz-se que uma proposição

Leia mais

Unidade 5 - Subespaços vetoriais. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa. 10 de agosto de 2013

Unidade 5 - Subespaços vetoriais. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa. 10 de agosto de 2013 MA33 - Introdução à Álgebra Linear Unidade 5 - Subespaços vetoriais A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa PROFMAT - SBM 10 de agosto de 2013 Às vezes, é necessário detectar, dentro

Leia mais

Probabilidade I. Departamento de Estatística. Universidade Federal da Paraíba. Prof. Tarciana Liberal (UFPB) Aula 2 08/11 1 / 25

Probabilidade I. Departamento de Estatística. Universidade Federal da Paraíba. Prof. Tarciana Liberal (UFPB) Aula 2 08/11 1 / 25 Probabilidade I Departamento de Estatística Universidade Federal da Paraíba Prof. Tarciana Liberal (UFPB) Aula 2 08/11 1 / 25 Prof. Tarciana Liberal (UFPB) Aula 2 08/11 2 / 25 Para apresentar os conceitos

Leia mais

IBM1088 Linguagens Formais e Teoria da Computação

IBM1088 Linguagens Formais e Teoria da Computação IBM1088 Linguagens Formais e Teoria da Computação Conceitos fundamentais sobre Teoria dos Conjuntos Evandro Eduardo Seron Ruiz evandro@usp.br Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 26 Frase

Leia mais