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

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

LISTA DE EXERCÍCIOS. Números Reais Geometricamente, Numericamente e Axiomaticamente

LISTA DE EXERCÍCIOS. Demonstrações diretas e por absurdo

Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi Argumentos e Exercícios de Revisão

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

LISTA DE EXERCÍCIOS. [01] Determine o domínio natural (efetivo) de cada uma das funções indicadas abaixo.

LISTA DE EXERCÍCIOS. [01] Determine o domínio natural (efetivo/maximal) de cada uma das funções indicadas abaixo.

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

Humberto José Bortolossi [01] (a) (1.0) Escreva infinitos números racionais que pertençam ao intervalo

Fundamentos de Matemática

Apresentação do curso

LISTA DE EXERCÍCIOS. Humberto José Bortolossi

ATIVIDADES EM SALA DE AULA Cálculo I -A- Humberto José Bortolossi

LISTA DE EXERCÍCIOS Cálculo I -A- Humberto José Bortolossi

Apresentação do curso

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

Argumentos: aquecimento

Apresentação do curso

GMA LISTA DE EXERCÍCIOS

LISTA DE EXERCÍCIOS. Humberto José Bortolossi

LISTA DE EXERCÍCIOS. Humberto José Bortolossi

ATIVIDADES EM SALA DE AULA Cálculo I -A- Humberto José Bortolossi

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

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

GMA LISTA DE EXERCÍCIOS. Funções poligonais, funções da forma x elevado a n, função raiz n-ésima

Matemática Básica EXERCÍCIOS OBRIGATÓRIOS. Dê um contraexemplo para cada sentença falsa.

LISTA DE EXERCÍCIOS. Humberto José Bortolossi A função afim, proporcionalidade e a função linear

NONA LISTA DE EXERCÍCIOS Cálculo III. MATEMÁTICA DCET UESC Humberto José Bortolossi Derivadas Parciais

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

LISTA DE EXERCÍCIOS Cálculo I -A- Humberto José Bortolossi

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

LISTA DE EXERCÍCIOS Cálculo I -A- Humberto José Bortolossi

Os Fundamentos: Lógica de Predicados

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 6

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3

Lista 1 - Bases Matemáticas

Proposta de teste de avaliação

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

3 Cálculo Proposicional

Lista 2 - Bases Matemáticas

Elementos de Lógica Matemática p. 1/2

Teste de Matemática A 2015 / 2016

Pode ser a observação de um fenômeno natural:

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

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

Lista de Exercícios 6: Soluções Funções

Matemática. Atividades. complementares. ENSINO FUNDAMENTAL 7- º ano. Este material é um complemento da obra Matemática 7. uso escolar. Venda proibida.

Gestão Empresarial Prof. Ânderson Vieira

Predicados e Quantificadores

Probabilidade Parte 1. Camyla Moreno

AGRUPAMENTO DE ESCOLAS D. JOSÉ I - VRSA MATEMÁTICA 6.º ANO 2014/15 Ficha A1 Números Naturais

GAN Matemática Discreta Professores Renata de Freitas e Petrucio Viana. Lista A

Neste artigo, a título de sugestão de abordagem do tema, apresentamos exemplos de explicitação e utilização de algumas dessas regras.

Alguns Lugares Geométricos

LISTA DE EXERCÍCIOS. Funções reais (domínio, imagem e gráfico), modelagem. (a) (b) (c) (d)

MATEMÁTICA A - 12o Ano Probabilidades - Teoremas e operações com conjuntos

AGRUPAMENTO DE ESCOLAS D. JOSÉ I 2015/16 MATEMÁTICA 5.º ANO

LISTA DE EXERCÍCIOS. Trigonometria no Triângulo Retângulo e Funções Trigonométricas

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1

Pré-Cálculo. Humberto José Bortolossi. Aula 6 29 de março de Departamento de Matemática Aplicada Universidade Federal Fluminense

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

XXXV Olimpíada Cearense de Matemática Nível 2 - Oitavo e Nono Anos

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4

MÓDULO II - PARTE II LÓGICA DOS PREDICADOS

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

UNIVERSIDADE FEDERAL DE VIÇOSA Centro de Ciências Exatas Departamento de Matemática

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.

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

PUC-Rio Desafio em Matemática 1 de outubro de 2017

Aula 1 Aula 2. Ana Carolina Boero. Página:

MÚLTIPLOS DE UM NÚMERO NATURAL

Lista de Exercícios 6 Funções

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 2

MATEMÁTICA Conjuntos. Professor Marcelo Gonzalez Badin

Matemática Computacional

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

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

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

Escola Superior de Agricultura "Luiz de Queiroz", Departamento de Ciências Exatas. Probabilidades. Cristian Villegas

MATEMÁTICA DISCRETA LISTA DE EXERCÍCIOS 3

EXERCÍCIOS DO CAPÍTULO 1

Prova 3.1 (points: 100; bonus: 0 ; time: 64 ) FMC2, (Turma N12 do Thanos) Regras: Nome: 21/06/2019

Matemática - Geometria Caderno 1: Ângulos triédricos

DEPARTAMENTO DE MATEMÁTICA CICLO BÁSICO DO CTC MAT1157 Cálculo a uma Variável A G2 20 de maio de 2013 (versão Va)

Retas e círculos, posições relativas e distância de um ponto a uma reta

EXERCÍCIOS PARA RECUPERAÇÃO EM MATEMÁTICA 2º TRIMESTRE

GABARITO. Prova 2 (points: 120/100; bonus: 18 ; time: 100 ) FMC1, (Turmas do Thanos) Regras: Boas provas! Gabarito 23/11/2016

Gabarito da Prova da Primeira Fase - Nível Beta

DOUTRINA VOLUME ÚNICO: TÉCNICO DO INSS (TODAS AS DISCIPLINAS) Organizadores Flávia Cristina, Júlio Franceschet, Lucas Pavione ERRATA

MATEMÁTICA DISCRETA E LÓGICA MATEMÁTICA PROF. APARECIDO EDILSON MORCELLI

Lista 3. A = x x < 9 4 e x > 6 } B = {x 0 x = 2} C = { x x é inteiro e x 2 = 3 } D = {x 2x+1 = 7} A = {x 0 x = 0} B = x x > 9 4 e x < 6 }

DEPARTAMENTO DE MATEMÁTICA CICLO BÁSICO DO CTC MAT1157 Cálculo a uma Variável A G1 16 de setembro de 2013 (versão Ia)

Prof.: Joni Fusinato

MAT-331: Elementos de Teoria dos Conjuntos Lista 1. 1 Lógica. Exercício 1. Identique a hipótese e a tese em cada uma das seguintes armações:

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

Inequação do Primeiro e Segundo Grau

1. Métodos de prova: Construção; Contradição.

DEPARTAMENTO DE MATEMÁTICA CICLO BÁSICO DO CTC MAT1157 Cálculo a uma Variável A G3 3 de dezembro de 2012 (versão Va)

Transcrição:

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 representa um número real): p : 0 x 2 1 e q : 0 x 1. (a) Determine os conjuntos A = {x x satisfaz p} e B = {x x satisfaz q}. (b) A sentença p q é verdadeira ou falsa? Justifique sua resposta! (c) A sentença q p é verdadeira ou falsa? Justifique sua resposta! (d) A sentença p q é verdadeira ou falsa? Justifique sua resposta! (e) Determine os conjuntos C = {x x satisfaz p q} e D = {x x satisfaz p q}. [02] Considere os seguintes predicados (x representa um número real): p : x 2 1 e q : x 1. (a) Determine os conjuntos A = {x x satisfaz p} e B = {x x satisfaz q}. (b) A sentença p q é verdadeira ou falsa? Justifique sua resposta! (c) A sentença q p é verdadeira ou falsa? Justifique sua resposta! (d) A sentença p q é verdadeira ou falsa? Justifique sua resposta! (e) Determine os conjuntos C = {x x satisfaz p q} e D = {x x satisfaz p q}. [03] Determine todos os valores de x R que satisfazem o predicado: (x 1 = x 4) ou (x 1 = x + 4). [04] Determine todos os valores de x R que satisfazem o predicado: [(x 4 < x 2) ou (x 4 > x + 1)] e [(x 4 < x + 1) ou (x 4 > x 1)]. [05] Considere o lançamento simultâneo de dois dados equilibrados, um azul (A) e outro verde (V). O espaço amostral deste experimento é o conjunto Ω = {(1, 1), (1, 2), (1, 3), (1, 4), (1, 5), (1, 6), (2, 1), (2, 2), (2, 3), (2, 4), (2, 5), (2, 6), (3, 1), (3, 2), (3, 3), (3, 4), (3, 5), (3, 6), (4, 1), (4, 2), (4, 3), (4, 4), (4, 5), (4, 6), (5, 1), (5, 2), (5, 3), (5, 4), (5, 5), (5, 6), (6, 1), (6, 2), (6, 3), (6, 4), (6, 5), (6, 6)}. Para os pontos de Ω, considere que a primeira coordenada represente o resultado do lançamento do dado azul e a segunda coordenada represente o resultado do lançamento do dado verde. Escreva explicitamente cada evento indicado a seguir. 1

(a) A = face do dado azul é primo e face do dado verde é par. (b) B = face do dado azul é primo ou face do dado verde é par. [06] Dê exemplos de predicados p, q e r tais que (p q) r p (q r), isto é, dê exemplos de predicados p, q e r tais que {x x satisfaz (p q) r} = {x x satisfaz p (q r)}. [07] Verdadeira ou falsa? Para quaisquer que sejam os predicados p e q, p q q p. Justifique sua [08] Verdadeira ou falsa? Para quaisquer que sejam os predicados p e q, p q p. Justifique sua [09] Verdadeira ou falsa? Para quaisquer que sejam os predicados p e q, p q q. Justifique sua [10] Verdadeira ou falsa? Para quaisquer que sejam os predicados p e q, p p q. Justifique sua [11] Verdadeira ou falsa? Para quaisquer que sejam os predicados p e q, p q q p. Justifique sua [12] Verdadeira ou falsa? Para quaisquer que sejam os predicados p e q, p p q. Justifique sua [13] Verdadeira ou falsa? Para quaisquer que sejam os predicados p e q, q p q. Justifique sua [14] Verdadeira ou falsa? Para quaisquer que sejam os predicados p e q, p q p. Justifique sua [15] Considere dois predicados p e q. Sejam A = {x x satisfaz p} e B = {x x satisfaz q}. Qual condição deve satisfazer os conjuntos A e B para que a sentença p q seja verdadeira? Justifique sua resposta [16] Uma das implicações abaixo é falsa! Qual e por quê? Ou elas são todas verdadeiras e temos uma prova de que 0 = 1? x = 0 (1) = x (x 1) = 0 (2) = x 1 = 0 (3) = x = 1. [17] Uma das implicações abaixo é falsa! Qual e por quê? Ou elas são todas verdadeiras e temos uma prova de que 2 = 1? x = 2 (1) = x (x 1) = 2 (x 1) (2) = x 2 x = 2 x 2 (3) = x 2 2 x = x 2 (4) = x (x 2) = x 2 (5) = x = 1. 2

[18] Verdadeira ou falsa? Se x R e x 2 3 x + 2 < 0, então x > 0. Justifique sua resposta! [19] Verdadeira ou falsa? Se p é um número primo e p > 2, então p + 1 não é um número primo. Justifique sua resposta! 3

Respostas dos Exercícios Atenção: as respostas apresentadas aqui não possuem justificativas. Você deve escrevê-las! [01] (a) A = [ 1, 1] e B = [0, 1]. (b) A sentença p q é falsa, pois A B (x = 1/2 é um contraexemplo, uma vez que x = 1/2 satisfaz a hipótese p, mas x = 1/2 não satisfaz a tese q). (c) A sentença q p é verdadeira, pois B A (todo número x que satisfaz a hipótese q também satisfaz a tese p, logo não existem contraexemplos). (d) A sentença p q é falsa, pois a implicação p q é falsa (veja o Item (b)). (e) C = A B = [ 1, 1] e D = A B = [0, 1]. [02] (a) A = [ 1, 1] e B =], 1]. (b) A sentença p q é verdadeira, pois A B (todo número x que satisfaz a hipótese p também satisfaz a tese q, logo não existem contraexemplos). (c) A sentença q p é falsa, pois B A (x = 2 é um contraexemplo, uma vez que x = 2 satisfaz a hipótese q, mas x = 2 não satisfaz a tese p). (d) A sentença p q é falsa, pois a implicação q p é falsa (veja o Item (c)). (e) C = A B =], 1] e D = A B = [ 1, 1]. [03] x R satisfaz o predicado (x 1 = x 4) ou (x 1 = x + 4) se, e somente se, x = 5/2. [04] x R satisfaz o predicado [(x 4 < x 2) ou (x 4 > x + 1)] e [(x 4 < x + 1) ou (x 4 > x 1)] se, e somente se, x < 5/2. [05] (a) A = {((2, 2), (2, 4), (2, 6), (3, 2), (3, 4), (3, 6), (5, 2), (5, 4), (5, 6)}. (b) B = {(1, 2), (1, 4), (1, 6), (2, 1), (2, 2), (2, 3), (2, 4), (2, 5), (2, 6), (3, 1), (3, 2), (3, 3), (3, 4), (3, 5), (3, 6), (4, 2), (4, 4), (4, 6), (5, 1), (5, 2), (5, 3), (5, 4), (5, 5), (5, 6), (6, 2), (6, 4), (6, 6)}. [07] Verdadeira. Dica: use teoria dos conjuntos para demonstrar a sentença. [08] Verdadeira. Dica: use teoria dos conjuntos para demonstrar a sentença. [09] Verdadeira. Dica: use teoria dos conjuntos para demonstrar a sentença. [10] Falsa. Se p é o predicado x = 1 e q é o predicado x = 2, então x = 1 x = 1 x = 2 é uma sentença falsa (x = 1 é um contraexemplo). [11] Verdadeira. Dica: use teoria dos conjuntos para demonstrar a sentença. [12] Verdadeira. Dica: use teoria dos conjuntos para demonstrar a sentença. [13] Verdadeira. Dica: use teoria dos conjuntos para demonstrar a sentença. [14] Falsa. Se p é o predicado x = 1 e q é o predicado x = 2, então x = 1 x = 2 x = 2 é uma sentença falsa (x = 1 é um contraexemplo). [15] Lembramos que a sentença p q é verdadeira se, e somente se, as sentenças p q e q p são simultaneamente verdadeiras. Já sabemos que p q é verdadeira se, e somente se, A B e que q p é verdadeira se, e somente se, B A. Desta maneira, p q é verdadeira se, e somente se, A = B. [16] Apenas a implicação (2) é falsa! [17] Apenas a implicação (5) é falsa! 4

[18] Verdadeira. [19] Verdadeira. Texto composto em L A TEX2e, HJB, 04/09/2016. 5