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
|
|
- Yasmin Lameira Canário
- 5 Há anos
- Visualizações:
Transcrição
1 1 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 Tópico: Argumentos 1. Julgue as premissas e a conclusão de cada um dos argumentos e verifique se são válidos ou inválidos. (a) Todo caranguejo é crustáceo. Peixe não é caranguejo. Logo, peixe não é crustáceo. (b) Existem professores que são carecas. Todas as pessoas carecas são competentes. Logo, existem professores que são competentes. (c) Todos os peixes são mamíferos. Todos os mamíferos são humanos. Existem vegetais que são peixes. Portanto, existem vegetais que são humanos. (d) Nenhum agricultor é rico. Todos os ricos são saudáveis. Logo, nenhum agricultor é saudável. (e) Todos os sergipanos são brasileiros. João é sergipano. Portanto, João é brasileiro. (f) Todo a é b. Todo c é b. Logo, todo c é a. (g) Nenhum a é b. Todo c é a. Logo, nenhum c é b. (h) Algum a é b. Todo c é a. Logo, todo c é b.
2 2 (i) Todo a é b. Nenhum c é b. Logo, nenhum c é a. (j) Todo a é b. Todo c é a. Logo, todo c é b. (k) Todo a é b. Algum c é b. Logo, algum c não é a. (l) Todos os franceses são europeus. Newton não era francês. Logo, Newton não era europeu. (m) Nenhum brasileiro é africano. Nenhum africano é sul-americano. Logo, nenhum brasileiro é sul-americano. (n) Não existem industriais pobres. Todos os mendigos são pobres. Logo, não existem mendigos industriais. Tópico: Conectivos e Proposições 1. Determinar o valor lógico das seguintes proposições: (a) (2 + 3) 2 = (b) As raízes da equação x 3 1 = 0 são todas reais. (c) A expressão n 2 n + 41 só produz números primos. (d) (2n 1) = n 2. (e) O produto de dois números ímpares é um número ímpar. (f) A soma de dois números pares é um número par. 2. Sejam as proposições: p : O rato entrou no buraco. q : O gato seguiu o rato. Forme sentenças, na linguagem natural, que correspondam às seguintes proposições:
3 3 (a) p (d) p q (g) (p q) (j) p q (b) q (e) p q (h) (p q) (k) ( p) (c) p q (f) p q (i) p q (l) ( q) 3. Considere as sentenças: p : Tales é filho de Wilson. q : Tales é neto de João. Escreva, na foma simbólica, cada uma das seguintes sentenças: (a) Tales não é filho de Wilson. (b) Tales não é neto de João. (c) Não é verdade que Tales não é filho de Wilson. (d) Não é verdade que Tales é neto de João. (e) Tales é filho de Wilson e neto de João. (f) Tales é filho de Wilson ou neto de João. 4. Sejam as proposições: p : Gosto de viajar. q : Visitei o Chile. Escreva as sentenças verbais que estão representadas pelas proposições abaixo: (a) p q (c) (p q) p (e) (p q) (g) p q (b) q p (d) q p (f) q p Tópico: Valor lógico, tabela-verdade, tautologia e contradição 1. Determinar P (V V, V F, F V, F F ) em cada uma das seguintes proposições: (a) P (p, q) = (p q) (p q) (b) P (p, q) = p (q p) (c) P (p, q) = (p q) ( p q) (d) P (p, q) = [(p q) ( p q)] 2. Construa a tabela-verdade para cada uma das seguintes proposições: (a) (p q) (b) (p q) p q
4 4 (c) (p q) q p (d) (p q r) ( p q r) (e) p (p r) q r (f) (p q) p q 3. Sabendo que os valores lógicos das proposições p, q e r são respectivamente V, F e F, determine o valor lógico das seguintes proposições: (a) (p p q) (p r) (b) (p q r) (p (q r)) (c) (p ( q p)) ((p q) q p) 4. Descreva as sentenças abaixo em termos de proposições simples e operadores lógicos. (a) Se elefantes podem subir em árvores, então 3 é um número irracional. (b) É proibido fumar cigarro ou charuto. (c) Não é verdade que π > 0 se, e somente se, π > 1. (d) Se as laranjas são amarelas, então os morangos são vermelhos. (e) É falso que se Montreal é a capital do Canadá, então a próxima copa será realizada no Brasil. (f) Se é falso que Montreal é a capital do Canadá, então a próxima copa será realizada no Brasil. (g) Me formarei em Informática e terei consciência da importância do meu diploma perante esta sociedade de excluídos. 5. Considerando que a proposição Todos os pelicanos comem peixe seja verdadeira, quais das proposições abaixo são verdadeiras? (a) Se uma ave é um pelicano, então ela come peixe. (b) Se uma ave não é um pelicano, então ela não come peixe. (c) Se uma ave come peixe, então ela é um pelicano. (d) Se uma ave não come peixe, então ela não é um pelicano. 6. Apresente uma negação para cada uma da proposições abaixo: (a) 37 é um número primo. (b) Bruno irá, mas ele não vai jogar. (c) Nós venceremos o primeiro ou o segundo jogo.
5 5 (d) Se não há sanduíches, vou comer um cachorro-quente. (e) Matemática é muito legal e computação é fundamental. 7. Simplifique as proposições abaixo, indicando em cima de cada símbolo de equivalência as propriedades lógicas utilizadas: (a) (p q) (p q) (b) ( p q) p (c) (((p q) q) (q p)) (d) (( p q) ((q p) p)) (e) (p q) ((p q) (p q) ( p q)) (f) ((p q) r) (( q r) q) 8. Seja a proposição: p [(p q) ( p q)] (a) Simplifique-a. (b) Negue-a. (c) Determine seu valor lógico. 9. Determine quais das proposições a seguir são tautologias ou contradições: (a) (p q) p q (b) (q p) (p q) (c) p (p q) (d) [(p q) q] p (e) (p q) (p q r) (f) (p q) (p q) Tópico: implicações e equivalências 1. Determine se a proposição P implica logicamente na proposição Q, nos seguintes casos: (a) P : p q e Q : (p q) (q p) (b) P : p e Q : q p (c) P : p q e Q : p q (d) P : p q e Q : p q
6 6 2. Julgar cada uma das seguintes proposições: (a) p p p (b) [ (p q)] p q (c) (p q) (p q) p q (d) q p p q (e) (p q) ( p q) p q (f) (p q) p p q (g) (p q) (p r) p (q r) (h) (p q) r (p r) q (i) (p r) (q p) r (p q) (j) (p q) r (p r) q 3. Considere as proposições Dê o valor verdadeiro (V ) ou falso (F ) : p : 5 = 8 q : 4 < 3 r : 9 > 7 e s : 8 < 10 (a) r s (b) p q (c) r q (d) (r q) (e) (p s) (f) (r s) Tópico: sentenças abertas e quantificadores 1. Das expressões a seguir, quais são sentenças abertas? (a) = 51 (b) x 5 = 9 (c) 6 2x 4 (d) 6 > 3 e = 8 (e) 5 < 2 ou = 4 (f) 9x Expresse as proposições abaixo em forma simbólica utilizando o quantificador existencial: (a) A equação x 3 = 27 tem uma solução no conjunto dos números naturais. (b) não é o maior número natural. (c) Existe um número irracional. (d) Existe um número primo par. 3. Julgue os itens a seguir:
7 7 (a) x 2 x 12 0 x 3 ou x 4 (b) x 2 x 12 0 x 3 e x 4 4. Se a sentença x 2 7x + 12 = 0 x = 3 ou x = 4 é verdadeira, então qual o valor lógico da sentença x 2 7x x 3 e x 4? 5. Determinar o conjunto-verdade em Z de cada uma das seguintes sentenças abertas: (a) 2x 2 18 = 0 (b) 3x 2 + 7x = 0 (c) 2x + x 1 = 2 (d) x 2 x 20 = 0 (e) 2x 1 = 9 (f) x 2 3 x 28 = 0 6. Sejam A = {2, 3, 4, 5}, IN o conjunto dos números naturais e IR o conjunto dos números reais. Determine o valor lógico das proposições a seguir, justificando a sua resposta. (a) (!x A)(x + 3 = 8) (b) ( x A)(x + 3 = 8) (c) ( x A)(x + 3 < 5) (d) ( x IR)( x = x) (e) ( x IR)( x = x) (f) ( x IR)( x = 0) (g) ( x IR)(x > x + 1) (h) ( x IR)( y IR)(x + y = 0) (i) ( x IR)( y IR)(x + y = 0) (j) ( y IR)(!x IR)(y = x 2 ) (k) ( x IR)(!y IR)(y = x 2 ) (l) ( x IR)(x < 0) ( y IR)(y = x 2 ) (m) ( a, b, c, d IN)(a b c d a + c b + d) 7. Determinar o conjunto-verdade em IR de cada uma das seguintes sentenças abertas: (a) 5x + 6 = 3x 2 (b) 7x = 0 (c) x 2 3x = x 3 (d) x 2 + x 6 = 0 (e) x 1 x + 6 = 13 (f) 2 x x 1 > 3 x x 8. Dados os conjuntos A = {3, 4, 6} e B = {4, 6, 9, 11}, determinar o conjunto-verdade da sentença x y ( x divide y) em A B. 9. Determinar o conjunto-verdade da sentença aberta mdc(x, y) = 3 em A A, sendo A = {2, 3, 6, 9}. 10. Determinar o conjunto-verdade da sentença aberta 3 divide x + y em A A, sendo A = {3, 4, 5, 6}.
8 8 11. Dados os conjuntos A = { 1, 0, 1, 2} e B = {0, 1, 3}, determinar o conjunto verdade da sentença aberta x + y < 2 em A B. 12. Determinar o conjunto-verdade da sentença aberta x 2 + y 2 = 4 em Z Z. 13. Determinar o conjunto-verdade em A = {1, 2, 3,... 12} de cada uma das seguintes sentenças abertas compostas: (a) x < 8 x é ímpar (b) 3 divide x x < 9 (c) x é par x (d) (x + 6) A (x 2 6) / A 14. Determinar o conjunto-verdade em A = { 4, 3, 2, 1, 0, 1, 2, 3, 4} de cada uma das seguintes sentenças abertas compostas: (a) x é ímpar x 2 4 = 0 (b) (x + 6) / A x < 0 (c) x 2 + 2x 8 < 0 x 2 4 = 0 (d) x divide 12 x é primo 15. Sejam as sentenças abertas em IR: p(x) : 3x 4 0 e q(x) : x + 2 0, determine: (a) o conjunto-verdade de p(x) q(x) (b) o conjunto-verdade de p(x) q(x) 16. Sejam as sentenças abertas em A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}: p(x) : x 3 A e q(x) : x é ímpar. Determine o conjunto-verdade de: (a) p(x) q(x) (b) p(x) q(x) (c) p(x) q(x) (d) q(x) p(x) (e) p(x) q(x) 17. Sendo A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} dar um contra-exemplo para cada uma das proposições: (a) ( A) (x + 7 < 15) (b) ( A) (x 60) 18. Julgue as sentenças a seguir: (a) x 4 = 0 x 2 16 = 0 (b) x + 7 = 0 x 2 49 = 0
9 9 (c) 3x 7 = 2x + 1 x 2 16x + 64 = 0 (d) 2 4x 4 2 2x 32 = 0 6 x x x x = Negue a proposição ( x A) ( p(x)) ( x A) (q(x)). 20. Dada a proposição ( x)(p(x)) ( x)( q(x)). (a) Negue-a. (b) Encontre sentenças abertas p(x) e q(x) de modo que o valor lógico da proposição acima seja falso. Tópico: Condicional, Teoremas e Provas 1. Determinar: (a) a contrapositiva da proposição recíproca de p q. (b) a recíproca da proposição contrapositiva de q p. (c) a contrapositiva da proposição contrária de p q. (d) a recíproca da proposição contrária de p q. (e) a contrapositiva da proposição recíproca de x = 8 x < 9. (f) a contrária da proposição contrapositiva de x = 7 x > 6. (g) a recíproca da proposição recíproca da proposição contrapositiva de q p. (h) a contrária da proposição contrapositiva da proposição recíproca de x = 5 x Apresente, se possível, um exemplo de proposição condicional verdadeira tal que (a) a recíproca seja verdadeira. (b) a recíproca seja falsa. (c) a contrapositiva seja verdadeira. (d) a contrapositiva seja falsa. 3. Escreva a recíproca e a contrapositiva de cada uma das proposições abaixo: (a) Se a lua está cheia, os vampiros saem de casa à noite. (b) Se uma girafa tem dor de garganta, ela não faz gargarejo. (c) Vou morar na lua, se lá construírem uma estação espacial. (d) Se uma proposição é definição, então sua recíproca é verdadeira. (e) Se uma função é derivável, então ela é contínua.
10 10 4. Mostre que: (a) Se x.y = 0, então x = 0 ou y = 0. (b) Se n IN e n 2 é divisível por 2, entã n é par. 5. Mostre que o quadrado de um número ímpar é da forma 8k Mostre que a 3 a é múltiplo de Seja dado um número inteiro m maior do que 1. Dizemos que dois números inteiros a e b são congruentes módulo m se a e b possuírem mesmo resto quando divididos por m. Neste caso, simbolizaremos esta situação como segue: a b(mod m). E isso é equivalente a dizer que: a b(mod m) se e somente se m divide b a. (a) Verifique se são verdadeiras ou falsas as seguintes afirmações: 35 27(mod 4); 72 32(mod 5) e 83 72(mod 5). (b) Mostre que se a b(mod m) e b c(mod m), então a c(mod m).
Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática
1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT 131 - Introdução à Álgebra 2017 1 a Lista de Exercícios Tópico: Algumas questões de Lógica 1. Considere que, em
Leia maisUniversidade 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. (a) Argumento inválido. (b) Argumento
Leia maisRACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS
1 RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS 2 TIPOS DE PROPOSIÇÃO Simples ou Atômicas Oscar é prudente; Mário é engenheiro; Maria é morena. 3 TIPOS DE PROPOSIÇÃO Composta ou Molecular Walter é engenheiro E
Leia maisArgumentaçã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 maisBases 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 maisFICHA 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 maisGestão Empresarial Prof. Ânderson Vieira
NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas
Leia maisLista 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 maisTema I Introdução à lógica bivalente e à teoria de conjuntos
Tema I Introdução à lógica bivalente e à teoria de conjuntos Unidade 1 Proposições Páginas 13 a 9 1. a) 3 é uma designação. b) 3 = 6 é uma proposição. c) é o único número primo par é uma proposição. d)
Leia maisLista 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 maisMatemá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 maisUniversidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática
Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática Argumentação em Matemática Prof. Lenimar Nunes de Andrade e-mail: numerufpb@gmail.com ou lenimar@mat.ufpb.br versão 1.0
Leia maisElementos de Lógica Matemática p. 1/2
Elementos de Lógica Matemática Uma Breve Iniciação Gláucio Terra glaucio@ime.usp.br Departamento de Matemática IME - USP Elementos de Lógica Matemática p. 1/2 Vamos aprender a falar aramaico? ǫ > 0 ( δ
Leia maisExpoente 10 Dossiê do Professor 2
Expoente 0 Dossiê do Professor Tema I Introdução à lógica bivalente e à teoria de conjuntos Unidade Proposições Páginas a 9. a) é uma designação. b) = 6 é uma proposição. c) é o único número primo par
Leia maisLó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 maisMÓDULO II - PARTE II LÓGICA DOS PREDICADOS
MÓDULO II - PARTE II LÓGICA DOS PREDICADOS Quantificadores Professora Dr. a Donizete Ritter 26 de julho de 2017 Ritter, D. (UNEMAT/DEAD/SI) LÓGICA 26 de julho de 2017 1 / 18 Sumário 1 INTRODUÇÃO 2 TIPOS
Leia maisRACIOCÍNIO LÓGICO. Quantificadores. Prof. Renato Oliveira
RACIOCÍNIO LÓGICO. Prof. Renato Oliveira Os quantificadores são proposições categóricas que transformam sentenças abertas em proposições lógicas, pela quantificação das variáveis. Exemplo: x + 2 > 4 não
Leia maisDepartamento 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 maisAula 1 Aula 2. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Leia maisIntroduçã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 maisErrata da lista 1: Na página 4 (respostas), a resposta da letra e da questão 13 é {2, 3, 5, 7, 11, 13, 17} (faltou o número 17)
Errata da lista 1: Na página 4 (respostas), a resposta da letra e da questão 13 é {2, 3, 5, 7, 11, 13, 17} (faltou o número 17) Lista 1 - Bases Matemáticas Elementos de Lógica e Linguagem Matemática 1
Leia maisNegaçã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 maisCálculo de Predicados
Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 18 de maio de 2013
Leia maisSemana 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 maisProposiçõ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 mais2016 / Nome do aluno: N.º: Turma:
Teste de Matemática A 2016 / 2017 Teste N.º 1 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em
Leia maisDISCIPLINA: 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 maisFICHA 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 maisUma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:
1 Noções Básicas de Lógica 1.1 Proposições Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. 1. Os sapos são anfíbios. 2. A capital do Brasil é Porto Alegre. 3. O tomate é um tubérculo.
Leia maisMD 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 maisNão sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES
Lógica Matemática e Computacional Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES 2. Conceitos Preliminares 2.1. Sentença, Verdade e Proposição Cálculo Proposicional Como primeira
Leia maisApresentaçã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 maisNome do aluno: N.º: Turma:
Teste de Matemática A 2017 / 2018 Teste N.º 1 Matemática A Duração do Teste: 90 minutos NÃO É PERMITIDO O USO DE CALCULADORA 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Na resposta aos itens de
Leia maisEste 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 mais1 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 mais4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico
Registro CMI 40616 Aula Proposição 4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico Toda proposição é uma frase mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando
Leia maisPredicados 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 maisAula 1 Aula 2 Aula 3. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisLógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.
Leia maisTeste de Matemática A 2015 / 2016
Teste de Matemática A 2015 / 2016 Teste N.º 2 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em cada
Leia mais( ) Leonardo joga futebol e Fernanda joga golfe. ( ) Leonardo joga futebol e Fernanda não joga golfe.
1 a Vericação de Aprendizagem Questão 1. (1,0)(FGV/2008) Leonardo disse a Fernanda: -Eu jogo futebol ou você não joga golfe. Fernanda retrucou: -Isso não é verdade. Sabendo que Fernanda falou a verdade,
Leia maisMatemática Computacional
Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:
Leia maisINE5403 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 maisOs 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 maisEste 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ção 1.3 do livro texto da disciplina: Números e Funções Reais,
Leia maisMatemática A - 10 o Ano Ficha de Trabalho
Matemática A - 10 o Ano Ficha de Trabalho Álgebra - Divisão Inteira de Polinómios Grupo I 1. Tendo em conta que n N; a n, a n 1,..., a 1, a 0 R e a n 0; b n, b n 1,..., b 1, b 0 R e b n 0, considere os
Leia mais1 Demonstrações: linguagem
1 Demonstrações: linguagem O trabalho dos matemáticos, de um modo geral, é descobrir e comunicar certas verdades e uma demonstração é um argumento cujo objetivo é convencer outras pessoas de que algo é
Leia maisLógica Matemática e Computacional. 3.1 Relações lógicas de Euler
Lógica Matemática e Computacional 3.1 Relações lógicas de Euler Lógica Ciência dos argumentos; tem por objeto de estudo os argumentos, procurando elaborar procedimentos que permitam distinguir os argumentos
Leia maisMATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP
1 MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP 2009 02 2 CÁLCULO PROPOSICIONAL 1. Proposições Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas
Leia maisLó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 maisRaciocínio Lógico. Matemático. Raciocínio Lógico
Raciocínio Lógico Matemático Raciocínio Lógico Teoria dos Conjuntos 1) (FEPESE, 2014) Considere como conjunto universo o conjunto dos números inteiros positivos menores ou iguais a vinte e quatro. Neste
Leia maisReferências e materiais complementares desse tópico
Notas de aula: Análise de Algoritmos Centro de Matemática, Computação e Cognição Universidade Federal do ABC Profa. Carla Negri Lintzmayer Conceitos matemáticos e técnicas de prova (Última atualização:
Leia maisProf. Tiago Semprebom, Dr. Eng. 09 de abril de 2013
Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago
Leia maisSMA Elementos de Matemática Notas de Aulas
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA 341 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2009 Sumário 1 Noções
Leia maisTécnicas de Demonstração. Raquel de Souza Francisco Bravo 17 de novembro de 2016
Técnicas de Demonstração e-mail: raquel@ic.uff.br 17 de novembro de 2016 Técnicas de Demonstração O que é uma demonstração? É a maneira pela qual uma proposição é validada através de argumentos formais.
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Leia maisTeoria 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 maisExpandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA Expandindo o Vocabulário Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de junho de 2019
Leia maisFundamentos da Computação 1. Introdução a Argumentos
Fundamentos da Computação 1 Introdução a s Se você tem um senha atualizada, então você pode entrar na rede Você tem uma senha atualizada Se você tem um senha atualizada, então você pode entrar na rede
Leia maisINSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE
1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional
Leia maisUnidade 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 maisPara 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 maisLÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com RELEMBRANDO Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte:
Leia maisINTRODUÇÃ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 mais1 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 maisn. 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 maisUniversidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I 2 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 2 a Lista de Exercícios Tópico: Conjuntos, Elementos, Subconjuntos e Conjuntos
Leia maisRECEITA FEDERAL ANALISTA
SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como
Leia maisA Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA A Linguagem dos Teoremas - Parte II Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de maio
Leia maisLógica proposicional
Lógica proposicional Sintaxe Proposição: afirmação que pode ser verdadeira ou falsa Proposições podem ser expressas como fórmulas Fórmulas são construídas a partir de símbolos: De verdade: true (verdadeiro),
Leia maisMD Métodos de Prova 1
Métodos de Prova Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Métodos de Prova 1 Introdução Objetivo: ter precisão de pensamento e linguagem para obter a certeza
Leia maisProposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3
Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando
Leia maisApresentaçã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 maisAntonio 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 maisRaciocínio Lógico. Matemático. Lógica Proposicional
Raciocínio Lógico Matemático Lógica Proposicional Proposições Lógicas Denomina-se proposição toda frase declarativa, expressa em palavras ou símbolos, que exprima um juízo ao qual se possa atribuir, dentro
Leia maisFundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno
Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão
Leia maisMATEMÁ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 maisLógica Matemática. Prof. Gerson Pastre de Oliveira
Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;
Leia maisUnidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência.
Unidade 1 Sentenças e Representação simbólica Unidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência. 1 Introdução e Conceitos Iniciais: Geralmente nos expressamos, em português,
Leia maisLÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia: Banco de dados e Sistemas para Internet Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL EXERCÍCIOS
Leia maisUnidade 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 maisPROBLEMAS DE LÓGICA. Prof. Élio Mega
PROBLEMAS DE LÓGICA Prof. Élio Mega ALGUNS CONCEITOS DA LÓGICA MATEMÁTICA Sentença é qualquer afirmação que pode ser classificada de verdadeira (V) ou falsa (F) (e exatamente uma dessas coisas, sem ambiguidade).
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia mais. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.
Tema 1 Lógica e Teoria dos Conjuntos 1. Proposições e valores lógicos. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 6
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 6 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Leia maisAlfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
Leia maisMatemá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 mais70 Tons de. Raciocínio. Lógico
70 Tons de Raciocínio Lógico BRDE 2015 Qual operação lógica descreve a tabela verdade da função Z abaixo cujo operandos são A e B? Considere que V significa Verdadeiro, e F, Falso. A B Z F F V F V V V
Leia maisIntroduçã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 maisExercícios Recomendados
Sociedade Brasileira de Matemática Mestrado Prossional em Matemática em Rede Nacional MA11 Números e Funções Reais Unidade 1 Conjuntos Unidade 2 Conjuntos Roteiro de Estudos Exercícios Recomendados 1.
Leia maisBases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.
1 Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2012-9-21 1/15 Como o Conhecimento Matemático é Construído 2 Definições Axiomas Demonstrações Teoremas Demonstração: prova de que um
Leia maisMCTB Matemática Discreta
Matemática Discreta Jair Donadelli CMCC UFABC jair.donadelli@ufabc.edu.br 2019-1 Semana 1 1 2 Lógica informal Matemática Discreta Estudo de estruturas matemáticas que são discretas (em oposição às que
Leia maisTeste de Matemática A 2015 / 2016
Teste de Matemática A 2015 / 2016 Teste N.º 1 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em cada
Leia maisMATEMÁTICA 3 MÓDULO 1. Lógica. Professor Renato Madeira
MATEMÁTICA 3 Professor Renato Madeira MÓDULO 1 Lógica SUMÁRIO 1. Proosição. Negação 3. Conectivos 4. Condicionais 4.1. Relação de imlicação 4.. Relação de equivalência 5. Álgebra das roosições 6. Quantificadores
Leia maisAula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 04 Operações Lógicas sobre Proposições Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Tabela da Verdade; Operações Lógicas sobre Proposições; Revisando As proposições
Leia maisFaculdade de Informática e Tecnologia de Pernambuco. Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias
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
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Leia mais