Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática

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

Download "Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática"

Transcrição

1 1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra a Lista de Exercícios Tópico: Algumas questões de Lógica 1. Considere que, em um pequeno grupo de pessoas envolvidas em um acidente, haja apenas dois tipos de indivíduos: aqueles que falam a verdade e os que sempre mentem. Se o indivíduo P desse grupo afirma que o indivíduo Q fala a verdade e Q afirma que P e ele são tipos opostos de indivíduos, o que se pode concluir? (a) P fala a verdade e Q mente. (c) P mente e Q fala a verdade (b) P e Q falam verdade. (d) P e Q mentem. 2. No livro Alice no País dos Enigmas, o professor de Matemática e Lógica Raymond Smullyan apresenta vários desafios do raciocínio lógico que têm como objetivo distinguir-se entre verdadeiro e falso. Considere o seguinte desafio inspirado neste enigma. Duas pessoas carregam fichas nas cores branca e preta. Quando a primeira pessoa carrega a ficha branca, ela fala somente a verdade, mas quando carrega a ficha preta, ela fala somente mentira. Por outro lado, quando a segunda pessoa carrega a ficha branca, ela fala somente mentira, mas quando carrega a ficha preta, fala somente verdade. Se a primeira pessoa diz: Nossas fichas não são da mesma cor e a segunda pessoa diz: Nossas fichas são da mesma cor, então qual a cor da ficha da primeira pessoa? 3. Ricardo, Rogério e Renato são irmãos. Um deles é médico, outro é professor e o outro é músico. Sabe-se que: 1) ou Ricardo é médico, ou Renato é médico; 2) ou Ricardo é professor ou Rogério é músico; 3) ou Renato é músico, ou Rogério é músico; 4)ou Rogério é professor ou Renato é professor. Qual é a profissão de cada um dos irmãos? 4. Sou amiga de Abel ou sou amiga de Oscar. Sou amiga de Nara ou não sou amiga de Abel. Sou amiga de Clara ou não sou amiga de Oscar. Ora, não sou amiga de Clara. Assim, (a) Não sou amiga de Nara e sou amiga de Abel. (b) Não sou amiga de Clara e nem de Abel. (c) Sou amiga de Nara e amiga de Abel. (d) Sou amiga de Oscar e não sou amiga de Clara. 5. Se não durmo, bebo. Se estiver furioso, durmo. Se dormir, não estou furioso. Se não estou furioso, não bebo. Logo: a) Não durmo, estou furioso e não bebo. b) Durmo, estou furioso e não bebo. c) Durmo, não estou furioso e não bebo. d) Não durmo, estou furioso e não bebo.

2 2 6. Há três suspeitos de um crime: o cozinheiro, a governanta e o mordomo. Sabe-se que o crime foi efetivamente cometido por um ou por mais de um deles, já que podem ter agido individualmente ou não. Sabe-se, ainda, que: I - Se o cozinheiro é inocente, então a governanta é culpada. II - Ou o mordomo é culpado ou a governanta é culpada, mas não os dois. III - O mordomo não é inocente. Logo: (a) A governanta e o mordomo são culpados. (b) Somente o cozinheiro é inocente. (c) Somente a governanta é culpada. (d) O cozinheiro e o mordomo são os culpados. 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: (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:

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

4 4 (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. (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))

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

6 6 (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 proosiçõ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: (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:

7 7 (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}. 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:

8 8 (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 (c) 3x 7 = 2x + 1 x 2 16x + 64 = 0 (d) 2 4x 4 2 2x 32 = 0 6 x x x x = Seja a sentença aberta p(x) : x 2 16 e x { 4, 4}. (a) Transforme-a em proposição utilizando o quantificador universal. (b) Determine o conjunto universo e o conjunto-verdade.

9 9 (c) Demonstre que o valor lógico dessa proposição é falso. (d) Altere o conjunto universo da proposição acima para que seu valor lógico dê verdadeiro. 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. 4. Sejam a, b e c IN sem divisores comuns tais que a 2 + b 2 = c.

10 10 (a) Mostre que ou a ou b é par. (b) Mostre que ou a ou b é múltiplo de Mostre que o quadrado de um número ímpar é da forma 8k Mostre que a 3 a é múltiplo de Mostre que a 3 a é múltiplo de 3 se e somente se a b é múltiplo de Mostre que 6 n(n + 1)(2n + 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

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

Leia mais

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

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

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

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

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

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural. Lista de exercícios 1

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural. Lista de exercícios 1 UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural Disciplina: Lógica Computacional I Professora: Juliana Pinheiro Campos Data: 25/08/2011 Lista

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

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

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

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

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

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

TEMA 1 INTRODUÇÃO À LÓGICA BIVALENTE CONJUNTOS E CONDIÇÕES FICHA DE TRABALHO 10.º ANO COMPILAÇÃO

TEMA 1 INTRODUÇÃO À LÓGICA BIVALENTE CONJUNTOS E CONDIÇÕES FICHA DE TRABALHO 10.º ANO COMPILAÇÃO FICHA DE TRABALHO 10.º ANO COMPILAÇÃO TEMA 1 INTRODUÇÃO À LÓGICA BIVALENTE CONJUNTOS E CONDIÇÕES Site: http://www.mathsuccess.pt Facebook: https://www.facebook.com/mathsuccess TEMA 1 INTRODUÇÃO À LÓGICA

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

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

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

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

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

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

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

RACIOCÍNIO LÓGICO. Lógica de Argumentação. Operadores Lógicos Parte 3. Prof. Renato Oliveira

RACIOCÍNIO LÓGICO. Lógica de Argumentação. Operadores Lógicos Parte 3. Prof. Renato Oliveira RACIOCÍNIO LÓGICO Lógica de Argumentação. Parte 3. Prof. Renato Oliveira 1) Há três suspeitos de um crime: o cozinheiro, a governanta e o mordomo. Sabe-se que o crime foi efetivamente cometido por um ou

Leia mais

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

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 2 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 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

Raciocínio Lógico (Professor Uendel)

Raciocínio Lógico (Professor Uendel) Raciocínio Lógico (Professor Uendel) Material (02); SEFAZ; JULHO DE 2017 (Álgebra das Proposições) PROPOSIÇÕES EQUIVALENTES P Q Lê se: P é LOGICAMENTE equivalent e a Q São proposições cujas tabelas-verdade

Leia mais

Coordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva

Coordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva @ LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q: ~ p 3) Proposição contra positiva de p q: ~ p ex. Determinar:

Leia mais

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

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4 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

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

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

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

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

Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto

Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Considere as afirmações: I. A camisa é azul ou a gravata é branca. II. Ou o sapato é marrom ou a camisa

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

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

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

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

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

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

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

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

Leia mais

PROPOSIÇÕES - VERDADEIRO

PROPOSIÇÕES - VERDADEIRO PROPOSIÇÕES Definição: Chama-se de proposição todo conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, declarativa (afirmativa) que admite um e somente um dos dois valores

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

Lógica de Predicados

Lógica de Predicados Lógica de Predicados Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. a) x

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

LÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q :

LÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q : LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q : ~ p 3) Proposição contra positiva de p q : ~ p ex. Determinar:

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

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

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

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1 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

RLM Material de Apoio Professor Jhoni Zini

RLM Material de Apoio Professor Jhoni Zini 1 - José, Luís e Mário são funcionários públicos nas funções de auditor, analista e técnico, não necessariamente nessa ordem. Sabe-se que José não é analista, que o técnico será o primeiro dos três a se

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

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

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

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

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

. 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

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

Ficha de trabalho n.º 1 (com resolução) Assunto: Lógica

Ficha de trabalho n.º 1 (com resolução) Assunto: Lógica Ficha de trabalho n.º 1 (com resolução) Assunto: Lógica 10.º ano Parte I - Escolha múltipla (Selecione a opção correta) 1. Considere a proposição: O quadrado de qualquer número real é um número real positivo.

Leia mais

CASA TRIBUNAIS RACIOCÍNIO LÓGICO

CASA TRIBUNAIS RACIOCÍNIO LÓGICO CASA TRIBUNAIS RACIOCÍNIO LÓGICO Quantificadores Prof. Bruno Villar www.acasadoconcurseiro.com.br Raciocínio Lógico QUANTIFICADORES Definição: É um termo utilizado para quantificar uma expressão. Os quantificadores

Leia mais

Para Computação. Aula de Monitoria - Miniprova

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

Leia mais

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

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

Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi   Argumentos e Exercícios de Revisão GMA DEPARTAMENTO DE MATEMÁTICA APLICADA Fundamentos de Matemática Lista de Exercícios Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 04 Argumentos e Exercícios de Revisão [01] (Exercício

Leia mais

Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO

Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO RACIOCÍNIO LÓGICO AULA 01 LÓGICA PROPOSICIONAL DEFINIÇÃO A Lógica estuda o pensamento como ele deveria ser, sem a influência de erros ou falácias. As falácias em torno do raciocínio humano se devem a atalhos

Leia mais

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam. CONCEITO DE PROPOSIÇÃO É todo conjunto de palavras ou símbolos que exprimem uma ideia de sentido completo e que, além disso, pode ser julgado como verdadeiro (V) ou falso (F). NÃO SÃO PROPOSIÇÕES Frases

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

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

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

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

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

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

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

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

30 de setembro de 2015

30 de setembro de 2015 Página 1 / 6 Ficha de Avaliação Sumativa de Matemática A Colégio ACR de Fornelos - Ensino Secundário - 10.º Ano 6 Páginas Duração da Prova: 90 minutos 30 de setembro de 2015 Indique de forma legível a

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

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

QUESTÕES REVISÃO DE VÉSPERA FUNAI

QUESTÕES REVISÃO DE VÉSPERA FUNAI QUESTÕES REVISÃO DE VÉSPERA FUNAI RACIOCÍNIO LÓGICO Prof. Josimar Padilha EDITAL: RACIOCÍNIO LÓGICO E QUANTITATIVO: 1. Lógica e raciocínio lógico: problemas envolvendo lógica e raciocínio lógico. 2. Proposições:

Leia mais

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

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

Leia mais

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

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

Lógica de Predicados

Lógica de Predicados Lógica de Predicados Conteúdo Correção Exercícios Operações Lógicas sobre Predicados Condicional Quantificador de Unicidade (Rosen 37) Quantificadores com Restrição (Rosen 38) Tradução Português-Lógica

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

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

Prof. João Giardulli. Unidade I LÓGICA

Prof. João Giardulli. Unidade I LÓGICA Prof. João Giardulli Unidade I LÓGICA Introdução A primeira qualidade do estilo é a clareza. Aristóteles Introdução Aristóteles é considerado o precursor da lógica. Aristóteles (384-322 a.c.) Introdução

Leia mais

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14 Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...

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

Matemática Discreta - Exercícios de Lógica. 1. Diga que relações lógicas existem entre as seguintes proposições:

Matemática Discreta - Exercícios de Lógica. 1. Diga que relações lógicas existem entre as seguintes proposições: 1. Diga que relações lógicas existem entre as seguintes proposições: (a) Todos os marcianos falam inglês. (b) Todos os marcianos não falam inglês. (c) Nenhum marciano fala inglês. (d) Alguns marcianos

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

Proposta de teste de avaliação

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

Leia mais

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

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

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

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

Leia mais

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

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

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

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

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

ATA/TO AOCP Resolução: Inicialmente, representaremos o que foi dado pelo enunciado:

ATA/TO AOCP Resolução: Inicialmente, representaremos o que foi dado pelo enunciado: ATA/TO AOCP - 2012 01. Considere três conjuntos finitos X, Y e Z. Sabendo que I. X Y tem 16 elementos; II. X Z tem 7 elementos e III. X Y Z tem 2 elementos. O número de elementos de (Y U Z) X é (A) 2.

Leia mais

Exame Analítico Questão 1: Se não fumo, bebo. Se estou cansado, fumo. Se fumo, não estou cansado. Se não estou cansado, não bebo.

Exame Analítico Questão 1: Se não fumo, bebo. Se estou cansado, fumo. Se fumo, não estou cansado. Se não estou cansado, não bebo. Exame Analítico 2009 Questão 1: Se não fumo, bebo. Se estou cansado, fumo. Se fumo, não estou cansado. Se não estou cansado, não bebo. Logo, a) Não fumo, estou cansado e não bebo. b) Fumo, estou cansado

Leia mais