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

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

Download "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"

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

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 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. (a) Argumento inválido. (b) Argumento

Leia mais

RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS

RACIOCÍ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 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

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

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

Gestão Empresarial Prof. Ânderson Vieira

Gestã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 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

Tema I Introdução à lógica bivalente e à teoria de conjuntos

Tema 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 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

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

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

Leia mais

Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática

Universidade 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 mais

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

Elementos 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 mais

Expoente 10 Dossiê do Professor 2

Expoente 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 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

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

MÓ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 mais

RACIOCÍNIO LÓGICO. Quantificadores. Prof. Renato Oliveira

RACIOCÍ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 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

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

Aula 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 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

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)

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) 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 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

Cálculo de Predicados

Cá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 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

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

2016 / Nome do aluno: N.º: Turma:

2016 / 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 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

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

Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:

Uma 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 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

Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES

Nã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 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

Nome do aluno: N.º: Turma:

Nome 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 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

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

4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico

4 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 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

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

Aula 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 mais

Cálculo proposicional

Cá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

Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016

Ló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 mais

Teste de Matemática A 2015 / 2016

Teste 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.

( ) 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 mais

Matemática Computacional

Matemá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 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

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

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

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

Leia mais

Matemática A - 10 o Ano Ficha de Trabalho

Matemá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 mais

1 Demonstrações: linguagem

1 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 mais

Ló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 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 mais

MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP

MATEMÁ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 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

Raciocínio Lógico. Matemático. Raciocínio Lógico

Raciocí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 mais

Referências e materiais complementares desse tópico

Referê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 mais

Prof. Tiago Semprebom, Dr. Eng. 09 de abril de 2013

Prof. 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 mais

SMA Elementos de Matemática Notas de Aulas

SMA 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 mais

Técnicas de Demonstração. Raquel de Souza Francisco Bravo 17 de novembro de 2016

Té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 mais

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 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 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

Expandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019

Expandindo 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 mais

Fundamentos da Computação 1. Introdução a Argumentos

Fundamentos 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 mais

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE

INSTITUTO 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 mais

Fundamentos 1. Lógica de Predicados

Fundamentos 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 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

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 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. 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 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

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

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

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

Leia mais

Universidade 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

Universidade 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 mais

RECEITA FEDERAL ANALISTA

RECEITA 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 mais

A Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto

A 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 mais

Lógica proposicional

Ló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 mais

MD Métodos de Prova 1

MD 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 mais

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3

Proposiçõ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 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

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

Raciocínio Lógico. Matemático. Lógica Proposicional

Raciocí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 mais

Fundamentos 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 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 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

Lógica Matemática. Prof. Gerson Pastre de Oliveira

Ló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 mais

Unidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência.

Unidade 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 mais

LÓGICA PROPOSICIONAL

LÓ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 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

PROBLEMAS DE LÓGICA. Prof. Élio Mega

PROBLEMAS 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 mais

Cálculo proposicional

Cá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.

. 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 mais

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 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 mais

Alfabeto da Lógica Proposicional

Alfabeto 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 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

70 Tons de. Raciocínio. Lógico

70 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 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

Exercícios Recomendados

Exercí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 mais

Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.

Bases 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 mais

MCTB Matemática Discreta

MCTB 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 mais

Teste de Matemática A 2015 / 2016

Teste 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 mais

MATEMÁTICA 3 MÓDULO 1. Lógica. Professor Renato Madeira

MATEMÁ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 mais

Aula 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 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 mais

Faculdade 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 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 mais

FICHA 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 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