Faculdade de Informática e Tecnologia de Pernambuco. Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias

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

Download "Faculdade de Informática e Tecnologia de Pernambuco. Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias"

Transcrição

1 Faculdade de Informática e Tecnologia de Pernambuco Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias Instruções 1. No início de cada seção da lista há uma sugestão de livro em que o assunto necessário para resolução das questões da seção pode ser encontrado. Recomenda-se que o aluno leia a bibliografia sugeridae que não estude unicamente através das notas de aula. 2. Tente resolver a lista de exercícios individualmente. Se você tiver dificuldade, junte-se com algum colega de classe para discutir as questões. 3. A prova terá nível de dificuldade equivalente ao da lista e o tempo estimado para resolver a prova leva em consideração que o aluno já conhece o formato das questões. Faça esta lista com dedicação, pois ela vai ajudá-lo na prova. Bons estudos! 1

2 Lógica Formal Sugestão de bibliografia: Fundamentos Matemáticos para a Ciência da Computação, Judith L Gersting. 3a. Edição. Capítulo 1. Questão 1: Quais das frases a seguir são sentenças? a) A lua é feita de queijo verde. b) Ele é um homem alto. c) Dois é um número primo d) O jogo terminará logo? e) As taxas do ano que vem serão maiores. f) As taxas do ano que vem serão menores. Questão 2: Indique o antecedente e o consequente de cada uma das seguintes sentenças: a) O crescimento sadio das plantas é consequência de quantidade suficiente de água. b) O crescimento da oferta de computadores é uma condição necessária para o desenvolvimento científico. c) Haverá novos erros apenas se o programa for alterado. d) A economia de combustível implica um bom isolamento, ou todas as janelas são janelas para tempestades. Questão 3: Construa as tabelas-verdade para as seguintes wffs (well formed formulas). Indique as tautologias e as contradições. a) (A B) A B b) (A B) C A (B C) c) A ( A B) d) A (B A) Questão 4: Toda wff é equivalente a uma sentença que use apenas os conectivos da conjunção e negação. Para garantirmos isto devemos achar wffs equivalentes para A B e A B que usem apenas e. Estas novas wffs poderão substituir, respectivamente, quaisquer ocorrências de A B e A B. (O conectivo já foi definido em termos dos outros conectivos, portanto já sabemos que pode ser substituído em uma wff ). a. Mostre que A B é equivalente a ( A B). b. Mostre que A B é equivalente a (A B). Questão 5: Com o uso dos símbolos predicados mostrados a seguir e os quantificadores apropriados, escreva cada sentença na língua portuguesa como uma wff predicativa. (O domínio é todo o mundo.) D(x) é x é um dia. 2

3 S é segunda-feira. S(x) é x é ensolarado. T é terça-feira. R(x) é x é chuvoso. a) Todos os dias são ensolarados. b) Alguns dias não são chuvosos. c) Todo dia que é ensolarado não é chuvoso. d) Alguns dias so ensolarados e chuvosos. e) Nenhum dia é ensolarado e chuvoso. f) Sempre é dia ensolarado se, e somente se, um dia chuvoso. g) Nenhum dia é ensolarado. h) Segunda-feira foi ensolarada, portanto todo dia será ensolarado. i) Tanto segunda-feira quanto terça-feira foram chuvosos. j) Se algum dia for chuvoso, então todos os dias serão ensolarados. Questão 6: Prove usando equivalência lógica que as seguintes equações são tautologia. a) (a b) ( a b) b) ((p q) ( p r)) (q r) Questão 7: Prove usando equivalência lógica a) (p (p r)) ( (q r)) (p q) (p r) b) x y(p (x, y) (Q(x, y) R(x, y))) x y(p (x, y) (Q(x, y) R(x, y))) Questão 8: Prove a) (p q) (r s), p, q s b) (p q) r p (q r) c) q r (p q) (p r) d) (p q) (p r), p s, q s, p t, r t s t Questão 9: Sejam p = eu tomo a vacina H1N1 q = eu passo mal r = eu morro s = eu assisto à aula Se eu tomo a vacina H1N1, então eu passo mal e não morro. Se eu não tomo a vacina H1N1, então eu morro ou não passo mal (ou ambos). Se eu passo mal, então eu não assisto à aula. Eu assisti à aula. Dadas as premissas acima, prove que eu não tomei a vacina H1N1 3

4 Conjuntos Sugestão de bibliografia: Álgebra Booleana e Circuitos de Chavemento. Elliott Mendelson. Capítulo 2. Questão 1: Sejam a = {x 2x = 6} e b = 3. Justifique ou refute a afirmação: a = b Questão 2: Sejam A um subconjunto de B e B um subconjunto de C. Suponha que a A, b B, c C, d / A, e / B, f / C. Quais das seguintes afirmações são verdadeiras? a) a C b) b A c) c / A d) d B e) e / A f) f / A Questão 3: Mostre que a lei do cancelamento: se A B = A C, B = C é falsa, dando um contra-exemplo. Questão 4: Mostre com um exemplo que A B C precisa de parênteses para não ser ambíguo. Questão 5: Ache todas as partições de S = {1, 2, 3}. Questão 6: Calcule o conjunto das partes de S = {a, b, c, d}. Questão 7: Mostre que a operação de diferença de conjuntos não é comutativa, isto é, a igualdade A B = B A pode falhar. Do mesmo modo, mostre que a difereça de conjuntos não é associativa, isto é, (A B) C = A (B C) também pode falhar. Nestes dois casos, é suficiente que você apresente contra-exemplos. Questão 8: Prove que a) A (B C) = (A B) (A C) b) (A C) (C B) = c) (A B = A) (A B = ) d) A (A B) = A B e) (((A B) (A C)) U) (C E) = (C E) (A (B C)), onde U é o conjunto universo. 4

5 Relações Sugestão de bibliografia: Discrete Mathematics. Kenneth A. Ross (Capítulo 3). Abreviações usadas nesta seção: (R) : Reflexiva (S) : Simétrica (T) : Transitiva (AR) : Anti-Reflexiva (AS) : Anti-Simétrica Questão 1: Para as seguintes relações sobre S = {0, 1, 2, 3}, especifique quais das propriedades (R), (AR), (S), (AS) e (T) as relações satisfazem. (a) (m, n) R 1 se m + n = 3 (b) (m, n) R 2 se m n é impar (c) (m, n) R 3 se m 4 (d) (m, n) R 4 se m + n 4 (e) (m, n) R 5 se max{m, n} = 3 Questão 2: Seja A = {0, 1, 2}. Cada uma das afirmações abaixo define a relação R sobre A por (m, n) R se a afirmação é verdadeira para m e n. Escreva cada uma das relações como um conjunto de pares ordenados. (a) m n (b) m < n (c) m = n (d) mn = 0 (e) mn = m (f) m + n A (g) m 2 + n 2 = 2 (h) m 2 + n 2 = 3 (i) m = max{n, 1} Questão 3: Quais das relações da questão 2 são reflexivas? Quais são simétricas? Questão 4: Defina a relação de divisibilidade R sobre N por (m, n) R se m n 5

6 Lembre-se que m n significa que n é multiplo de m. (a) Quais das propriedades (R), (AR), (S), (AS) e (T) a relação R satisfaz? (b) Defina a relação R (relação dual de R). (c) Quais das propriedades (R), (AR), (S), (AS) e (T) a relação dual de R satisfaz? Questão 5: Qual a relação entre a relação R e a relação ((R) )? Questão 6 (a) Se S é um conjunto não vazio, então o conjunto vazio é um subconjunto de S S, tal que é uma relação sobre S, denominada relação vazia. Quais das propriedades (R), (AR), (S), (AS) e (T) a relação possui? Justifique usando a definição das propriedades e identidades da lógica. (b) Repita a parte (a) para a relação universal U = S S sobre S. Questão 7 De um exemplo de uma relação que seja: (a) anti-simétrica e transitiva, mas não reflexiva (b) simétrica, não reflexiva e não transitiva Questão 8 Seja R uma relação e R a relação dual de R. Podemos afirmar que se R satisfaz as propriedades (R),(AR),(S) e (AS) então R também deve satisfaz? O inverso também é verdade? Isto é, se R satisfaz (R),(AR),(S) e (AS), então R também deve satisfaz? Questão 9 Sejam R 1 e R 2 relações sobre um conjunto S. (a) Prove que R 1 R 2 é reflexiva se R 1 e R 2 são. (b) Prove que R 1 R 2 é simétrica se R 1 e R 2 são. (c) Prove que R 1 R 2 é transitiva se R 1 e R 2 são. Questão 10 Sejam R 1 e R 2 relações sobre um conjunto S. Questão 11 Represente graficamente cada uma das relações da questão 1. 6

7 Figure 1: Relações (Questão 12) 7

8 Questão 12 Dê as matrizes para os dígrafos da Figura 1. Questão 13 Quais das seguintes relações são relações de equivalência? Para aquelas que não são relações de equivalência, especifique quais das propriedades (R), (S) e (T) falham e ilustre as falhas com exemplos. (a) Sejam p 1 e p 2 americanos. Seja a relação definida como p 1 p 2 se p 1 e p 2 vivem no mesmo estado. (b) Sejam p 1 e p 2 americanos. Seja a relação definida como p 1 p 2 se p 1 e p 2 vivem no mesmo estado ou em estados vizinhos. (c) Sejam p 1 e p 2 pessoas. Seja a relação definida como p 1 p 2 se p 1 e p 2 possuem um dos pais em comum. (d) Sejam p 1 e p 2 americanos. Seja a relação definida como p 1 p 2 se p 1 e p 2 possuem a mesma mãe. Questão 14 Seja S um conjunto. A igualdade, isto é, = é uma relação de equivalência? Questão 15 (a) Para m e n Z, defina m n no caso em que m n é par. A relação é uma relação de equivalência? (b) Para a e b em R, defina a b no caso em que a b 1. Alguém poderia dizer que a b no caso em que a e b são próximos o suficiente ou aproximadamente igual. A relação é uma relação de equivalência? 8

9 Relações de Ordem e Reticulados Sugestão de bibliografia: Discrete Mathematics. Kenneth A. Ross (Capítulo 11). Questões 1, 3, 7(a), 11, 12, 13 e 20 das pág. 432 e 433 do Discrete Mathematics (Kenneth A. Ross) Há um PDF desta seção do livro no site da disciplina. O link está disponível na aula 11 [09/09/2011]. 9

10 Álgebras de Boole Sugestão de bibliografia: Álgebra Booleana e Circuitos de Chaveamento. Elliott Mendenlson (Cap. 3). Questão 1: Faça o exercício 3.1 da seção Problemas resolvidos do capítulo 3 do Elliott Mendelson justificando cada etapa das provas, como foi feito na aula do dia 21/09/2011 (veja slides). Questão 2: Estabeleça a relação entre reticulados e álgebras booleanas. 10

Exercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues

Exercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues Exercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues As respostas encontram-se em itálico. 1. Quais das frases a seguir são sentenças? a. A lua é feita de queijo verde. erdadeira, pois é uma

Leia mais

1 a Lista de Exercícios Matemática Discreta

1 a Lista de Exercícios Matemática Discreta 1 a Lista de Exercícios Matemática Discreta Exercício 1. Faça a tabela verdade para as fórmulas a seguir: a) P Q. b) (S G) ( S G). c) [P (Q P )]. d) (P Q) ( P R). Exercício 2. Com o uso de símbolos predicados

Leia mais

Matemática Discreta. Prof. Nilson Costa 2014

Matemática Discreta. Prof. Nilson Costa 2014 1 Matemática Discreta Prof. Nilson Costa nilson.mtm@hotmail.com 2014 Definições Importantes 2 Proposição: É qualquer afirmação, verdadeira ou falsa, mas que faça sentido. Exemplos: A: Todo número maior

Leia mais

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Exercícios Use lógica proposicional para provar os seguintes argumentos: a) A B C B A C b) A B C B C A c) A B B A C C Exercícios Use lógica

Leia mais

Faculdade de Informática e Tecnologia de Pernambuco

Faculdade de Informática e Tecnologia de Pernambuco Faculdade de Informática e Tecnologia de Pernambuco Plano de Ensino Disciplina: INF101 - Álgebra Aplicada à Computação; Professor: Diego Machado Dias; Curso: Ciência da Computação; Carga horária: 72h;

Leia mais

Cálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março

Cálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março Matemática Discreta Cálculo de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Quantificadores Como expressar a proposição Para todo número inteiro x, o valor de x é positivo. usando

Leia mais

Exercícios de Teoria da Computação Lógica de 1a. ordem

Exercícios de Teoria da Computação Lógica de 1a. ordem Licenciatura em Engenharia Informática e de Computadores - LEIC Licenciatura em Engenharia de Redes de Comunicação e Informação - LERCI Exercícios de Teoria da Computação Lógica de 1a. ordem Secção Ciência

Leia mais

Predicados e Quantificadores

Predicados e Quantificadores Predicados e Quantificadores Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Predicados e Quantificadores junho - 2018 1 / 57 Este material é preparado usando

Leia mais

Apresentação do curso

Apresentação do curso Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica 2 Conteúdo

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

LISTA DE EXERCÍCIOS. Implicações e Teoria dos Conjuntos, Conectivos Lógicos

LISTA DE EXERCÍCIOS. Implicações e Teoria dos Conjuntos, Conectivos Lógicos LISTA DE EXERCÍCIOS Matemática Básica Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 03 Implicações e Teoria dos Conjuntos, Conectivos Lógicos [01] Considere os seguintes predicados (x

Leia mais

Matemática Discreta. Lógica de Predicados. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG

Matemática Discreta. Lógica de Predicados. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG Matemática Discreta Lógica de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Quantificadores Como expressar a sentença Para todo número inteiro x, o valor de x é positivo. usando

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

1 TEORIA DOS CONJUNTOS

1 TEORIA DOS CONJUNTOS 1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação

Leia mais

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças. NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo

Leia mais

Matemática para Ciência dos Computadores 30 de Dezembro, Docente: Luís Antunes & Sandra Alves

Matemática para Ciência dos Computadores 30 de Dezembro, Docente: Luís Antunes & Sandra Alves Matemática para Ciência dos Computadores 30 de Dezembro, 2003 Docente: Luís Antunes & Sandra Alves Mais exercícios de MCC 1. Sejam p, q, r e p 1, p 2, p 3 as seguintes afirmações primitivas e premissas

Leia mais

Matemática Discreta - 01

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

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

Elementos de Matemática

Elementos de Matemática Elementos de Matemática Álgebra de Boole Roteiro no. 10 - Atividades didáticas de 2007 8 de Outubro de 2007- Arq: elementos10.tex Departamento de Matemática - UEL Prof. Ulysses Sodré E-mail: ulysses(at)matematica(pt)uel(pt)br

Leia mais

Lógica Computacional

Lógica Computacional Aula Teórica 4: Semântica da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,

Leia mais

Introdução à Lógica Matemática

Introdução à Lógica Matemática Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira

Leia mais

Apresentação do curso

Apresentação do curso Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica

Leia mais

DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO

DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: 2018-2 TURNO: NOTURNO ALUNO a): 1ª Lista de Exercícios - Introdução à Lógica Matemática, Teoria

Leia mais

Cálculo proposicional

Cálculo proposicional Notas de aula de MAC0329 (2003) 9 2 Cálculo proposicional Referências para esta parte do curso: capítulo 1 de [Mendelson, 1977], capítulo 3 de [Whitesitt, 1961]. Proposição Proposições são sentenças afirmativas

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

Prof. Jorge Cavalcanti

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

Leia mais

Departamento de Engenharia Informática da Universidade de Coimbra

Departamento de Engenharia Informática da Universidade de Coimbra Departamento de Engenharia Informática da Universidade de Coimbra Estruturas Discretas 2013/14 Folha 1 - TP Lógica proposicional 1. Quais das seguintes frases são proposições? (a) Isto é verdade? (b) João

Leia mais

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/3 6 - RELAÇÕES DE ORDENAMENTO 6.1) Conjuntos parcialmente

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

INTRODUÇÃO À LÓGICA MATEMÁTICA

INTRODUÇÃO À LÓGICA MATEMÁTICA INTRODUÇÃO À LÓGICA MATEMÁTICA Matemática Aplicada a Computação rofessor Rossini A M Bezerra Lógica é o estudo dos princípios e métodos usados para distinguir sentenças verdadeiras de falsas. Definição

Leia mais

Matemática Discreta. Exercícios. 19 de fevereiro de Os exercícios estão classificados de acordo com a seguinte legenda.

Matemática Discreta. Exercícios. 19 de fevereiro de Os exercícios estão classificados de acordo com a seguinte legenda. Matemática Discreta Exercícios 19 de fevereiro de 2018 Sumário 1 Elementos de Lógica 2 Os exercícios estão classificados de acordo com a seguinte legenda. -: exercícios de interesse marginal: complementam

Leia mais

Os Fundamentos: Lógica de Predicados

Os Fundamentos: Lógica de Predicados Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG - 2019/01

Leia mais

UNIVERSIDADE FEDERAL DO CEARÁ PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE PROJETOS E ACOMPANHAMENTO CURRICULAR DIVISÃO DE DESENVOLVIMENTO CURRICULAR

UNIVERSIDADE FEDERAL DO CEARÁ PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE PROJETOS E ACOMPANHAMENTO CURRICULAR DIVISÃO DE DESENVOLVIMENTO CURRICULAR UNIVERSIDADE FEDERAL DO CEARÁ PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE PROJETOS E ACOMPANHAMENTO CURRICULAR DIVISÃO DE DESENVOLVIMENTO CURRICULAR FORMULÁRIO PARA CRIAÇÃO E/OU REGULAMENTAÇÃO DE DISCIPLINA

Leia mais

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por: LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,

Leia mais

Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi

Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi GMA DEPARTAMENTO DE MATEMÁTICA APLICADA Fundamentos de Matemática Lista de Exercícios Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 02 Demonstração direta, demonstração por absurdo e

Leia mais

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados

Leia mais

Inteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO

Inteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO Inteligência Artificial IA Prof. João Luís Garcia Rosa II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO 2004 Representação do conhecimento Para representar o conhecimento do mundo que um sistema

Leia mais

Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009

Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009 Noções de Lógica Matemática 2 a parte Argumentação em Matemática período 2009.2 Prof. Lenimar N. Andrade 1 de setembro de 2009 Sumário 1 Condicional 1 2 Bicondicional 2 3 Recíprocas e contrapositivas 2

Leia mais

g) 2 x2 (2 x ) 2, 6 x i) x 2 x + 2, j) k) log ( 1 l) log ( 2x 2 + 2x 2) + log ( x 2

g) 2 x2 (2 x ) 2, 6 x i) x 2 x + 2, j) k) log ( 1 l) log ( 2x 2 + 2x 2) + log ( x 2 Números Reais. Simplifique as seguintes epressões (definidas nos respectivos domínios): a), b) + +, c) + + +, d), e) ( ), f) 4 4, g) ( ), h) 3 6, i) +, j) +, k) log ( ) + log ( ), l) log ( + ) + log (

Leia mais

19 AULA. Princípio da Boa Ordem LIVRO. META Introduzir o princípio da boa ordem nos números naturais e algumas de suas conseqüências.

19 AULA. Princípio da Boa Ordem LIVRO. META Introduzir o princípio da boa ordem nos números naturais e algumas de suas conseqüências. LIVRO Princípio da Boa Ordem META Introduzir o princípio da boa ordem nos números naturais e algumas de suas conseqüências. OBJETIVOS Ao fim da aula os alunos deverão ser capazes de: Aplicar o princípio

Leia mais

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/51 6 - RELAÇÕES DE ORDENAMENTO 6.1) Conjuntos parcialmente

Leia mais

Matemática Discreta para Computação: Prova 1 06/09/2017

Matemática Discreta para Computação: Prova 1 06/09/2017 Matemática Discreta para Computação: Prova 1 06/09/2017 Aluno(a): 1. Considere as premissas: Se o universo é finito, então a vida é curta., Se a vida vale a pena, então a vida é complexa., Se a vida é

Leia mais

Proposições simples e compostas

Proposições simples e compostas Revisão Lógica Proposições simples e compostas Uma proposição é simples quando declara algo sem o uso de conectivos. Exemplos de proposições simples: p : O número 2 é primo. (V) q : 15 : 3 = 6 (F) r :

Leia mais

SCC Capítulo 2 Lógica de Predicados

SCC Capítulo 2 Lógica de Predicados SCC-630 - Capítulo 2 Lógica de Predicados João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos http://www.icmc.usp.br/~joaoluis

Leia mais

MA14 - Aritmética Unidade 1 Resumo. Divisibilidade

MA14 - Aritmética Unidade 1 Resumo. Divisibilidade MA14 - Aritmética Unidade 1 Resumo Divisibilidade Abramo Hefez PROFMAT - SBM Julho 2013 Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio do

Leia mais

Proposta de teste de avaliação

Proposta de teste de avaliação Proposta de teste de avaliação Matemática A 10. O ANO DE ESCOLARIDADE Duração: 90 minutos Data: Grupo I Na resposta aos itens deste grupo, selecione a opção correta. Escreva, na folha de respostas, o número

Leia mais

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor

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

Unidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano

Unidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano A Pirâmide de aprendizagem de William Glasser Unidade 1 - Elementos de Lógica e Linguagem Matemáticas Matemática Básica Departamento de Matemática Aplicada Universidade Federal Fluminense 2018.1 Segundo

Leia mais

FICHA DE TRABALHO N.º 1 MATEMÁTICA A - 10.º ANO INTRODUÇÃO À LÓGICA BIVALENTE

FICHA DE TRABALHO N.º 1 MATEMÁTICA A - 10.º ANO INTRODUÇÃO À LÓGICA BIVALENTE FICHA DE TRABALHO N.º 1 MATEMÁTICA A - 10.º ANO INTRODUÇÃO À LÓGICA BIVALENTE Conhece a Matemática e dominarás o Mundo. Galileu Galilei GRUPO I ITENS DE ESCOLHA MÚLTIPLA 1. Sejam p e q duas proposições

Leia mais

MDI0001 Matemática Discreta Aula 01

MDI0001 Matemática Discreta Aula 01 MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina

Leia mais

(Ciência de Computadores) 2005/ Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação

(Ciência de Computadores) 2005/ Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação Álgebra (Ciência de Computadores) 2005/2006 Números inteiros 1. Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação (a) {inteiros positivos impares}; (b) {inteiros negativos pares};

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

Este material se compõe de exercícios de Lógica relacionadas as disciplinas de Fundamentos de Matemática e Matemática Discreta..

Este material se compõe de exercícios de Lógica relacionadas as disciplinas de Fundamentos de Matemática e Matemática Discreta.. This is page i Printer: Opaque this 1 Lógica Este material se compõe de exercícios de Lógica relacionadas as disciplinas de Fundamentos de Matemática e Matemática Discreta.. 1.1 Tabela Verdade 1. (FM-2003)

Leia mais

Fundamentos de Matemática

Fundamentos de Matemática Fundamentos de Matemática Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 1 7 de janeiro de 2013 Aula 1 Fundamentos de Matemática 1 Apresentação Aula 1

Leia mais

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1 Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados

Leia mais

Lógica Matemática - Quantificadores

Lógica Matemática - Quantificadores Lógica Matemática - Quantificadores Prof. Elias T. Galante - 2017 Quantificador Universal Seja p(x) uma sentença aberta em um conjunto não-vazio A e seja V p o seu conjunto verdade: V p = {x x A p(x)}.

Leia mais

Negação. Matemática Básica. Negação. Negação. Humberto José Bortolossi. Parte 3. Regras do Jogo. Regras do Jogo

Negação. Matemática Básica. Negação. Negação. Humberto José Bortolossi. Parte 3. Regras do Jogo. Regras do Jogo Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Parte 3 Parte 3 Matemática Básica 1 Parte 3 Matemática Básica 2 Qual é a negação do predicado

Leia mais

ELEMENTOS DE MATEMÁTICA DISCRETA Exame de Segunda Data 18/01/2011

ELEMENTOS DE MATEMÁTICA DISCRETA Exame de Segunda Data 18/01/2011 Uma Resolução ELEMENTOS DE MATEMÁTICA DISCRETA Exame de Segunda Data 18/01/2011 1. Seleccione e transcreva para a sua folha de exame a única opção correcta: A fórmula proposicional (p q) (p q) é a) logicamente

Leia mais

Matemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG

Matemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG Matemática Discreta Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Tautologias Tautologia é uma fórmula proposicional que é verdadeira para todos os possíveis valores-verdade

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

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

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

DISCIPLINA: Lógica. CONTEÚDO: Circuitos Lógicos. PROFESSORA Dr.ª Donizete Ritter ESTADO DE MATO GROSSO SECRETARIA DE ESTADO DE CIÊNCIAS E TECNOLOGIA FUNDAÇÃO UNIVERSIDADE DO ESTADO DE MATO GROSSO PRÓ-REITORIA DE ADMINISTRAÇÃO CAMPUS DE SINOP BACHARELADO EM SISTEMAS DE INFORMAÇÃO DISCIPLINA:

Leia mais

Para provar uma implicação se p, então q, é suficiente fazer o seguinte:

Para provar uma implicação se p, então q, é suficiente fazer o seguinte: Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que

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

Lista 2 - Bases Matemáticas

Lista 2 - Bases Matemáticas Lista 2 - Bases Matemáticas (Última versão: 14/6/2017-21:00) Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo

Leia mais

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

Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I 1 a Lista de Exercícios 1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT 131 - Introdução à Álgebra 2015/I 1 a Lista de Exercícios Tópico: Argumentos 1. Julgue as premissas e a conclusão

Leia mais

Lista 2 - Álgebra I para Computação - IME -USP -2011

Lista 2 - Álgebra I para Computação - IME -USP -2011 Lista 2 - Álgebra I para Computação - IME -USP -2011 (A) Relações de Equivalência e Quocientes 1. Seja N = {0, 1, 2,...} o conjunto dos números naturais e considere em X = N N a seguinte relação: (a, b)

Leia mais

ORIENTAÇÃO. Leia o Guia Logístico de Avaliação UNITINS publicado no site

ORIENTAÇÃO. Leia o Guia Logístico de Avaliação UNITINS publicado no site !"#$%&"$!'!'"& '&()**+,(,-$%.!! /)(,-$'(),*0)**+ /'$/1'"%%!2%/! )**+, ORIENTAÇÃO Leia o Guia Logístico de Avaliação UNITINS publicado no site www.educon.br/unitins ATENÇÃO: 1. Verifique se a numeração

Leia mais

Aula 1: Introdução ao curso

Aula 1: Introdução ao curso Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer carla.negri@ufabc.edu.br Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos

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

Aulas práticas de Álgebra Linear

Aulas práticas de Álgebra Linear Ficha Matrizes e sistemas de equações lineares Aulas práticas de Álgebra Linear Mestrado Integrado em Engenharia Eletrotécnica e de Computadores o semestre 6/7 Jorge Almeida e Lina Oliveira Departamento

Leia mais

sumário 1 introdução e conceitos básicos 1 2 noções de lógica e técnicas de demonstração introdução à matemática discreta...

sumário 1 introdução e conceitos básicos 1 2 noções de lógica e técnicas de demonstração introdução à matemática discreta... sumário 1 introdução e conceitos básicos 1 1.1 introdução à matemática discreta... 2 1.2 conceitos básicos de teoria dos conjuntos... 3 1.2.1 conjuntos...3 1.2.2 pertinência...5 1.2.3 alguns conjuntos

Leia mais

Lógica Proposicional

Lógica Proposicional Lógica Proposicional Equivalências Lógicas Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 36 Este material é preparado

Leia mais

Lista 1 - Bases Matemáticas

Lista 1 - Bases Matemáticas Lista 1 - Bases Matemáticas Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo ou 4 é ímpar. c) (Não é verdade

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

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

Pré-Cálculo. Humberto José Bortolossi. Aula 2 13 de agosto de Departamento de Matemática Aplicada Universidade Federal Fluminense Pré-Cálculo Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 2 13 de agosto de 2010 Aula 2 Pré-Cálculo 1 Problemas de organização e erros frequentes Problemas

Leia mais

Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial

Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial Semana 3 por de por de 1 indireta por de por de Teoremas resultados importantes, Os rótulos por de por de Teoremas resultados importantes, Os rótulos Proposições um pouco menos importantes, por de por

Leia mais

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

Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática. Matemática Discreta. Márcia Rodrigues Notare Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática Caxias do Sul, julho de. ÍNDICE TEORIA DOS CONJUNTOS...4. RELAÇÃO DE PERTINÊNCIA...4. ALGUNS CONJUNTOS IMPORTANTES...4.

Leia mais

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja

Leia mais

FICHA DE TRABALHO N.º 2 MATEMÁTICA A - 10.º ANO CONJUNTOS E CONDIÇÕES

FICHA DE TRABALHO N.º 2 MATEMÁTICA A - 10.º ANO CONJUNTOS E CONDIÇÕES FICHA DE TRABALHO N.º MATEMÁTICA A - 10.º ANO CONJUNTOS E CONDIÇÕES Conhece a Matemática e dominarás o Mundo. Galileu Galilei GRUPO I ITENS DE ESCOLHA MÚLTIPLA 1. Considere a condição px : x é um número

Leia mais

DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA:

DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática A (10º Ano) METAS CURRICULARES/CONTEÚDOS... 1º Período (18 de setembro a 17 de dezembro) Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas

Leia mais

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

UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos 52171-900 Recife-PE Fone: 0xx-81-332060-40 proreitor@preg.ufrpe.br PLANO DE ENSINO

Leia mais

Para Computação. Aula de Monitoria - Miniprova

Para Computação. Aula de Monitoria - Miniprova Para Computação Aula de Monitoria - Miniprova 1 2013.1 Roteiro Provas e Proposições Conjuntos Provas e Proposições Proposição - Sentença que ou é verdadeira ou é falsa. ex: Hoje é sábado. -> É uma proposição.

Leia mais

Professor conteudista: Ricardo Holderegger

Professor conteudista: Ricardo Holderegger Lógica Professor conteudista: Ricardo Holderegger Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS...3 1.1 Proposições...3 1.1.1 Proposições lógicas...3 1.1.2 Símbolos da lógica matemática...4 1.1.3 A negação...4

Leia mais

2. Justifique cada passo na demonstração do seguinte argumento: a) A (B C), B, C A 1 A (B C) 2 B 3 C 4 B C 5 (B C) 6 A

2. Justifique cada passo na demonstração do seguinte argumento: a) A (B C), B, C A 1 A (B C) 2 B 3 C 4 B C 5 (B C) 6 A Exercícios 1. Prove os argumentos (miscelânea): a) O participante vai ao paredão se o líder o indica ou os colegas o escolhem. Se o participante vai ao paredão e chora, então ele conquista o publico. Se

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

A2. Cada operação é distributiva sobre a outra, isto é, para todo x, y e z em A, x (y + z) = (x y) + (x z) e x + (y z) = (x + y) (x + z)

A2. Cada operação é distributiva sobre a outra, isto é, para todo x, y e z em A, x (y + z) = (x y) + (x z) e x + (y z) = (x + y) (x + z) Álgebra Booleana Nesta parte veremos uma definição formal de álgebra booleana, que é baseada em um conjunto de axiomas (ou postulados). Veremos também algumas leis ou propriedades de álgebras booleanas.

Leia mais

Prova Parcial 1 com peso de 0,2 na média Matemática Discreta para Computação Aluno(a): Data: 12/04/2012

Prova Parcial 1 com peso de 0,2 na média Matemática Discreta para Computação Aluno(a): Data: 12/04/2012 Prova Parcial com peso de, na média Aluno(a): Data: /4/. (3p) Usando regras de inferência, prove que os argumentos são válidos. Use os símbolos proposicionais indicados: a. A Rússia era uma potência superior,

Leia mais

UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Pato Branco ENGENHARIA DE COMPUTAÇÃO. Prova Parcial 1 Matemática Discreta para Computação

UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Pato Branco ENGENHARIA DE COMPUTAÇÃO. Prova Parcial 1 Matemática Discreta para Computação Prova Parcial 1 2011-2 Aluno(a): Data: 08/09/2011 1. (3p) Usando regras de inferência, prove que os argumentos são válidos. Use os símbolos proposicionais indicados: a. A Rússia era uma potência superior,

Leia mais

Atividades 1 - Matemática Discreta /02

Atividades 1 - Matemática Discreta /02 Atividades 1 - Matemática Discreta - 2014/02 1. Descreva cada um dos conjuntos a seguir, listando seus elementos: (a) P = {x R x 2 x 2 = 0}; (b) Q = {x x é uma letra na palavra amor }; (c) R = {x Z x 2

Leia mais

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22 Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é

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

Lista de Exercícios 8: Soluções Relações

Lista de Exercícios 8: Soluções Relações UFMG/ICEx/DCC DCC111 Matemática Discreta Lista de Exercícios 8: Soluções Relações Ciências Exatas & Engenharias 2 o Semestre de 2016 Definição 1 [Composição de relações]. Seja R uma relação do conjunto

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1

Leia mais

Antonio Paulo Muccillo de Medeiros

Antonio Paulo Muccillo de Medeiros Antonio Paulo Muccillo de Medeiros Conceito É a área da matemática que estuda os argumentos (premissas e conclusão). Estuda os métodos e princípios que permitam distinguir argumentos corretos e incorretos.

Leia mais

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam. Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos

Leia mais