Lógica Matemática Para Concursos
|
|
- Beatriz Camelo
- 4 Há anos
- Visualizações:
Transcrição
1 A matemática geralmente é vista como complicada para a maioria dos concursandos, mas isso já é passado, atualmente o que assusta os candidatos é a lógica matemática ou também conhecida como lógica proposicional que é a parte da matemática e tem como objeto de estudo as formas de argumentação e suas estruturas, sendo que na sua forma contemporânea, cada vez mais simbólica, deixa de ter preocupação com conteúdo material das proposições, pois este não importa. O elemento fundamental utilizado nesse contexto é o raciocínio lógico, assim os conceitos se complementam para possibilitar a aprendizagem. Professor Hênio Delfino
2 Lógica Matemática Para Concursos São Paulo 1ª Edição Copyright 2011 Todos os direitos reservados a: Hênio Delfino ISBN: ª Edição Janeiro 2012 Direitos exclusivos para Língua Portuguesa cedidos à Biblioteca24horas, Seven System International Ltda. Rua Luís Coelho 320/32 Consolação São Paulo SP Brasil CEP (11) leitor@biblioteca24horas.com Vendas: Todos os direitos reservados. Nenhuma parte do conteúdo deste livro poderá ser utilizada ou reproduzida em qualquer meio ou forma, seja ele impresso, digital, áudio ou visual sem a expressa autorização por escrito da Biblioteca24horas sob penas criminais e ações civis.
3 Benefício Adicional Gratuito Ao adquirir ou receber este livro, o leitor ganha o direito a uma licença de uso (disponibilizada na penúltima página deste livro) no portal por tempo prédeterminado, através de login (pessoal e intransferível) com os seguintes benefícios: Acesso ao Formato Digital Acessar e ler este livro no seu formato digital via internet, através de navegador comum, por um período acumulado de (o total de tempo de 5 minutos X quantidade de páginas) minutos e/ou por um prazo máximo de 90 dias, a serem contados do primeiro acesso. Este benefício será válido até a data de vencimento da licença de uso em 30/06/2012. Ao autor reserva-se o direito de atualizar constantemente o conteúdo deste livro e/ou do conteúdo fornecido via internet sem prévio aviso. Copyright 2011 Todos os direitos referentes aos Benefícios Adicionais Gratuitos são reservados à Biblioteca24horas Seven System International.
4 Sumário CAPÍTULO 1 ESTRUTURAS LÓGICAS INTRODUÇÃO PROPOSIÇÕES LÓGICAS PROPOSIÇÕES SIMPLES E COMPOSTAS Proposição Simples Proposição composta CONECTIVOS TRANSFORMANDO PROPOSIÇÕES EM SÍMBOLOS CAPÍTULO 2 TABELA VERDADE PRINCÍPIOS DO PENSAMENTO LÓGICO CONCEITUANDO TABELA-VERDADE CONSTRUINDO UMA TABELA VERDADE Tabela-verdade da conjunção ( ) Tabela-verdade da disjunção ( ) Tabela-verdade da disjunção exclusiva ( ) Tabela-verdade da Condicional ( ) Tabela-verdade da Bicondicional( ) A TABELA-VERDADE DE UMA PROPOSIÇÃO COMPOSTA Ordem de operação lógica na tabela-verdade CAPÍTULO 03 TAUTOLOGIA, CONTRADIÇÃO, CONTIGÊNCIA TAUTOLOGIA
5 3.1.2 CONTRADIÇÃO OU CONTRAVÁLIDA CONTINGÊNCIA CAPÍTULO 04 ARGUMENTOS LÓGICOS ARGUMENTO DEDUTIVO E INDUTIVO Argumento dedutivo Argumento indutivo VALIDADE DE ARGUMENTOS E TABELA- VERDADE CAPÍTULO 05 EQUIVALÊNCIA LÓGICA CONCEITO IDENTIFICANDO UMA EQUIVALÊNCIA LÓGICA EQUIVALÊNCIA LÓGICA NOTÁVEL Dupla Negação Idempotência Comutação Associação CAPÍTULO 06 OPERAÇÕES COM PROPOSIÇÕES CATEGÓRICAS SENTEÇA ABERTA NEGAÇÃO DE UMA SENTENÇA ABERTA VALIDADE DE UM ARGUMENTO COM PROPOSIÇÕES ABERTAS CAPÍTULO 07 RACIOCINIO LÓGICO ESPACIAL GABARITO
6 CAPÍTULO 1 ESTRUTURAS LÓGICAS 1.1 INTRODUÇÃO Lógica proposicional é a parte da matemática que tem como objeto de estudo as formas de argumentação e suas estruturas, sendo que na sua forma contemporânea, cada vez mais simbólica, deixa de ter preocupação com conteúdo material das proposições, pois este não importa. Quando falamos em lógica pensamos em raciocínio, pois podemos dizer que o uso da lógica nos traz a possibilidade de garantir a veracidade ou falsidade de um encadeamento de fatos ou premissas. Primeiramente, caro leitor, tente julgar em válida ou não válida a seguinte conclusão desta afirmação: Percebo que um gato gosta de leite, outro gato gosta de leite, outro também gosta de leite, então todo gato gosta de leite. Essa conclusão é válida ou não válida? Para você que julgou ser não válida, certo. É não válida, pois ao ver um gato que gosta de leite não garante que todo e qualquer gato goste de leite, devemos ter o cuidado para não nos deixar levar pelo senso comum, pois cada situação é única e isso nós temos de lembrar sempre. 1.2 PROPOSIÇÕES LÓGICAS Quando nos comunicamos, usamos frases de diversas formas, exclamativas, negativas, interrogativas, afirmativas dentre outras, na lógica nem toda frase pode ser utilizada, vejamos as seguintes frases: - O gato é fofinho. - Vamos tomar um café? - Venha tomar banho menino! - O jogador Pelé é loiro. Para que a frase tenha utilidade na lógica, esta tem de ser afirmativa, portanto frases interrogativas e exclamativas não são usadas como é o caso dos exemplos, Vamos tomar um café?, Venha tomar banho menino! Já as frases: O gato é fofinho e O jogador Pelé é loiro, são chamadas de proposições, observe que elas não são obrigatoriamente verdadeiras, neste último caso temos uma proposição falsa. PROPOSIÇÃO é uma sentença declarativa que pode ser classificada em verdadeira ou falsa, não havendo outra possibilidade. EXERCÍCIO 01 Classifique as seguintes frases em (P) proposições ou (N) não proposições. a. ( ) O jantar esta pronto. b. ( ) O jantar esta pronto? c. ( ) Gosto de vegetais e cereais. d. ( ) Coma logo isso menino! e. ( ) João correu e nadou. f. ( ) Se Marcos andar ele vai cair? g. ( ) Se Marcos andar então vai cair. h. ( ) Hoje é um dia da semana. i. ( ) Camila gosta de suco de tomate. j. ( ) Carlos não come carne crua.
7 k. ( ) O animais são felizes? l. ( ) O dia tem sol e a noite tem estrelas. m. ( ) O dia não tem sol e a noite não tem sol. n. ( ) A casa esta imunda! o. ( ) A casa esta imunda? p. ( ) A casa esta imunda. q. ( ) Camila arrumou a casa. 02 (PM/AC 2008) Considere as seguintes sentenças: I- O Acre é um estado da Região Nordeste. II- Você viu o Cometa Halley? III- Há vida no plante Marte. IV- Se x<2, então x+3>1 Neste caso, quais dessas sentenças são proposições? 03 (TRT/ES 2010) Julgue Certo ou Errado. Na sequência de frases abaixo, há três proposições. - Quantos tribunais regionais do trabalho há na região Sudeste do Brasil? - O TRT/ES lançou edital para preenchimento de 200 vagas. - Se o candidato estudar muito, então ele será aprovado no concurso do TRT/ES. - Indivíduo com 50 anos de idade ou mais não poderá se inscrever no concurso do TRT/ES. 04 Classifique as proposições em verdadeira (V) ou falsa (F): a) ( ) Brasília é capital do Brasil. b) ( ) Frutas e verduras são vegetais. c) ( ) O Sol é frio. d) ( ) A lua é de queijo. e) ( ) 13 de julho é dia Internacional do Rock. 05 Responda as seguintes perguntas: a. O que a lógica matemática estuda? b. O que é proposição? 1.3 PROPOSIÇÕES SIMPLES E COMPOSTAS Proposição Simples Seja a proposição João estuda todos os dias, perceba que nesta proposição temos o sujeito João o verbo estudar e o complemento todos os dias, para que uma proposição seja simples não se pode ter outra proposição como parte dela como é o caso desta: João estuda todos os dias e depois vai se divertir, neste caso podemos reescrevê-la em duas proposições simples João estuda todos os dias e João depois vai se divertir, uma proposição deste tipo é chamada de proposição composta Proposição composta É uma proposição que tem mais de uma proposição simples fazendo parte dela, veja os exemplos: O menino canta e brinca.
8 Podemos escrever duas frases: p: O menino canta. q: O menino brinca. Se Maria acordar cedo então o café é fresco. Podemos escrever duas frases: p: Maria acorda cedo. q: O café é fresco. PROPOSIÇÃO SIMPLES: Sentença simples que não é formada por mais de um predicado. PROPOSIÇÃO COMPOSTA: Sentença formada por mais de uma simples, unidas pelos chamados conectivos. 1.4 CONECTIVOS Para construirmos uma proposição composta temos de usar os chamados conectivos lógicos são eles: { e, ou, ou...ou, se...então se, se somente se}. Temos também o chamado modificador ~(negação). Conjunção e () Maria é bonita e alta. Disjunção ou () Maria é bonita ou alta. Disjunção exclusiva ou... ou () Ou Maria é bonita ou alta. Condicional ou Implicação Se... então ( ) Se Maria é bonita então é alta. Bicondicional ou Bi-implicação Se e somente se ( ) Maria é bonita se e somente se for alta. Negação Não (~ ou ) Podemos exemplificar a aplicação da negação, vamos negar esta proposição: Vini é muito rápido. Negação: Não é verdade que Vini é muito rápido. Vini não é muito rápido. Quadro Resumo Conectivo Como se lê Símbolo Conjunção e Disjunção ou Disjunção exclusiva Ou... ou
9 Condicional Se... então se Bicondicional Se e somente se Negação não ~ ou 1.5 TRANSFORMANDO PROPOSIÇÕES EM SÍMBOLOS Já sabemos que uma proposição pode ser simples ou composta, vamos representar uma proposição simples por uma letra minúscula de nosso alfabeto e uma proposição composta por uma letra maiúscula, também de nosso alfabeto, assim temos o seguinte exemplo: O menino canta e brinca, proposição composta A: O menino canta e brinca, esta proposição é composta de duas simples: p: O menino canta. q: O menino brinca. Assim usando o símbolo da conjunção () e a proposição A: O menino canta e brinca, é o mesmo que pq. Transformando outras proposições: B: Se Maria acordar cedo então o café é fresco. p: Maria acorda cedo. q: O café é fresco. B: p q C: André joga futebol se e somente se estiver com sua chuteira. a: André joga futebol. b: André está com a chuteira. C: a b
10 EXERCÍCIOS 06 Transforme as proposições escritas em proposições simbólicas: p: Eu economizo água. q: Eu preservo o planeta. a. Eu economizo água e preservo o planeta. b. Se eu economizo água então preservo o planeta. c. Se não economizo água então não preservo o planeta. d. Preservo o planeta se e somente se economizo água. e. Não preservo o planeta se e somente se não economizo água. 07 Transforme as proposições simbólicas em proposições escritas: p: Marcos recicla papel com seus amigos. q: As meninas acham Marcos muito interessante. a. pq b.p q c.p (pq) d.p(qp) e. (pq) q 08 (TRT 2010) Considere as proposições seguintes. Q: Se o Estrela Futebol Clube vencer ou perder, cairá para a segunda divisão ; A: O Estrela Futebol Clube vence ; B: O Estrela Futebol Clube perde ; C: O Estrela Futebol Clube cairá para a segunda divisão. Nesse caso, a proposição Q pode ser expressa, simbolicamente, por AB C? 09 (TRT 2010) Considere as proposições a seguir. R: Ou o Saturno Futebol Clube vence ou, se perder, cairá para a segunda divisão ; A: O Saturno Futebol Clube vence ; B: O Saturno Futebol Clube perde ; C: O Saturno Futebol Clube cairá para a segunda divisão. Nesse caso, a proposição R pode ser expressa, simbolicamente, por A (B C). 10 (TRT 2010) Considere as proposições abaixo. T: João será aprovado no concurso do TRT ou do TSE, mas não em ambos ; A: João será aprovado no concurso do TRT ; B: João será aprovado no concurso do TSE. Nesse caso, a proposição T estará corretamente simbolizada por (AB) (AB). 11 (TRT ES 2009) A sequência de frases a seguir contêm exatamente duas proposições. - A sede do TRT/ES localiza-se no município de Cariacica. - Por que existem juízes substitutos?
11 - Ele é um advogado talentoso. 12 Escreva quatro proposições simples com os verbos plantar ou viver, sendo duas proposições verdadeiras e duas falsas. 01. a) P b) N c) P d) N e) P f) N g) P h) P i) P j) P k) N l) P m) P n) N o) N p) P q) P GABARITO 02. I, III, IV 03. CORRETA, são elas: - O TRT/ES lançou edital para preenchimento de 200 vagas. - Se o candidato estudar muito, então ele será aprovado no concurso do TRT/ES. - Indivíduo com 50 anos de idade ou mais não poderá se inscrever no concurso do TRT/ES. 04 a) (V) Brasília é capital do Brasil. b) (V) Frutas e verduras são vegetais. c) (F) O Sol é frio. d) (F) A lua é de queijo. e) (V) 13 de julho é dia Internacional do Rock. 05 a. As formas de argumentação e suas estruturas.
12 b. É uma sentença declarativa que pode ser classificada em verdadeira ou falsa, não havendo outra possibilidade. 06. a) pq b) p q c) ~p ~q d) q p e) ~q ~p 07. a) Marcos recicla papel com seus amigos e as meninas o acham muito interessante. b) Se Marcos recicla papel com seus amigos então as meninas o acham muito interessante. c) Marcos recicla papel com seus amigos se e somente se recicla papel com seus amigos e as meninas o acham muito interessante. d) Marcos recicla papel com seus amigos ou as meninas o acham muito interessante se e somente se marcos recicla papel com seus amigos. e) Se Marcos recicla papel com seus amigos ou as meninas o acham muito interessante então as meninas o acham muito interessante. 08. Q: Se o Estrela Futebol Clube vencer ou perder, cairá para a segunda divisão. Podemos escrever Q desta forma: Se (O Estrela Futebol Clube vence) ou (O Estrela Futebol Clube perde) então (O Estrela Futebol Clube cairá para a segunda divisão). Com referência às proposições simples apresentadas e suas respectivas letras temos: AB C, como a questão diz que é AB C então esta questão é julgada ERRADA. 09. R: Ou o Saturno Futebol Clube vence ou, se perder, cairá para a segunda divisão. Podemos escrever R desta forma: Ou (O Saturno Futebol Clube vence) ou se (O Saturno Futebol Clube perde) então (O Saturno Futebol Clube cairá para a segunda divisão). Com referência às proposições simples apresentadas e suas respectivas letras temos: A(B C), portanto esta questão esta CORRETA. 10. T: João será aprovado no concurso do TRT ou do TSE, mas não em ambos. Podemos escrever t desta forma: (João será aprovado no concurso do TRT) ou (João será aprovado no concurso do TSE) e não [(João será aprovado no concurso do TRT) e (João será aprovado no concurso do TSE)]. Com referência às proposições simples apresentadas e suas respectivas letras temos: (AB)~(AB), portanto esta questão esta CORRETA. 11. CORRETA, são elas: - A sede do TRT/ES localiza-se no município de Cariacica. - Ele é um advogado talentoso.
13 12. Use a sua criatividade. Para mais capítulos acesse:
Lógica Matemática Para Concursos
Hênio Delfino Lógica Matemática Para Concursos São Paulo 1ª Edição - 2012 Lógica Matemática Para Concursos Copyright 2011 Todos os direitos reservados a: Hênio Delfino ISBN: 978-19-3610-885-5 1ª Edição
Leia maisAULA 1 Frases, proposições e sentenças 3. AULA 2 Conectivos lógicos e tabelas-verdade 5. AULA 3 Negação de proposições 8
Índice AULA 1 Frases, proposições e sentenças 3 AULA 2 Conectivos lógicos e tabelas-verdade 5 AULA 3 Negação de proposições 8 AULA 4 Tautologia, contradição, contingência e equivalência 11 AULA 5 Argumentação
Leia maisOBS.1: As palavras Se e então podem estar ocultas na. Proposição
RACIOCÍNIO LÓGICO PRO. IGOR BRASIL 1) Proposição: Observação!!! Não são proposições 1. 2. 3. 4. 5. 6. 7. 2) Conectivos São utilizados em proposições.» O conectivo e é conhecido por, representado pelo símbolo
Leia maisCONCEITOS INICIAIS DE LÓGICA PROPOSIÇÕES
CONCEITOS INICIAIS DE LÓGICA PROPOSIÇÕES Nesta aula, mostraremos os principais conceitos que a maioria das bancas utilizam em suas provas. Conceitos como proposição, conectivos, tabela- -verdade, dentre
Leia maisRaciocínio Lógico. Matemático. Lógica Proposicional
Raciocínio Lógico Matemático Lógica Proposicional Proposições Lógicas Denomina-se proposição toda frase declarativa, expressa em palavras ou símbolos, que exprima um juízo ao qual se possa atribuir, dentro
Leia maisRaciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu.
Raciocínio Lógico Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico NEGAÇÃO DE UMA PROPOSIÇÃO COMPOSTA Agora vamos aprender
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisCampos Sales (CE),
UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:
Leia maisLISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014
LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 1) Determinar o valor verdade da proposição (p q) r, sabendo-se que AL (p) =, AL (q) = e AL (r) =. Proposições são afirmações que podem ser julgadas como verdadeira
Leia maisLógica Matemática. Prof. Gerson Pastre de Oliveira
Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;
Leia maisVimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
Leia maisRECEITA FEDERAL ANALISTA
SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como
Leia maisRACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL
RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL Atualizado em 12/11/2015 LÓGICA PROPOSICIONAL Lógica é a ciência que estuda as leis do pensamento e a arte de aplicá-las corretamente na investigação e demonstração
Leia maisAtençã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 maisMATEMÁTICA Questões comentadas Daniela Arboite
MATEMÁTICA Questões comentadas Daniela Arboite TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por qualquer meio ou processo. A violação de direitos autorais é punível
Leia maisAo utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.
CENTRO UNVERSITÁRIO UNA NOÇÕES DE RACIOCÍNIO LÓGICO Professor: Rodrigo Eustáquio Borges A disciplina Lógica Matemática tem como objetivo capacitar o aluno a reconhecer e aplicar os conceitos fundamentais
Leia maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:
Leia maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:
Leia maisSimulado Aula 01 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Simulado Aula 01 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. As proposições P, Q e R a seguir referem-se a um ilícito penal envolvendo João, Carlos, Paulo e Maria: P: João e Carlos
Leia maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL NOÇÕES PRELIMINARES A proposição lógica é alicerce da construção do conhecimento da lógica proposicional. Para entendermos o conceito de proposição logica é necessário ter uma noção
Leia maisRaciocínio Lógico. Matemático. Raciocínio Lógico
Raciocínio Lógico Matemático Raciocínio Lógico Teoria dos Conjuntos 1) (FEPESE, 2014) Considere como conjunto universo o conjunto dos números inteiros positivos menores ou iguais a vinte e quatro. Neste
Leia maisAprendendo. Raciocínio. Lógico
Aprendendo Raciocínio Lógico Raciocínio Lógico Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos
Leia maisProposições simples e compostas
Revisão Lógica Proposições simples e compostas Uma proposição é simples quando declara algo sem o uso de conectivos. Exemplos de proposições simples: p : O número 2 é primo. (V) q : 15 : 3 = 6 (F) r :
Leia maisLógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2.
Lógica formal A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação I) Simbolização 1. Simples 2. Composta B)Leis do pensamento I) Princípio da Identidade II) Principio do não-contraditório
Leia maisAula 1 Teoria com resolução de questões FGV
Aula 1 Teoria com resolução de questões FGV AULA 01 Olá futuro servidor do TRT 12, Meu nome é Fabio Paredes, sou professor de Raciocínio Lógico Matemático e terei o prazer de ajudá-los nesta árdua missão
Leia maisA CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 17/360
1 DEMAIS SIMULADOS NO LINK ABAIXO CLIQUE AQUI REDE SOCIAL SIMULADO 17/360 RLM INSTRUÇÕES TEMPO: 30 MINUTOS MODALIDADE: CERTO OU ERRADO 30 QUESTÕES CURTA NOSSA PÁGINA MATERIAL LIVRE Este material é GRATUITO
Leia maisMATEMÁTICA E RACIOCÍNIO LÓGICO
SENTENÇAS OU PROPOSIÇÕES MODIICADORES 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 (),
Leia maisProposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3
Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando
Leia maisLÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG
Leia maisCAPÍTULO I. Lógica Proposicional
Lógica Proposicional CAPÍTULO I Lógica Proposicional Sumário: 1. Lógica proposicional 2. Proposição 2.1. Negação da proposição 2.2. Dupla negação 2.3. Proposição simples e composta 3. Princípios 4. Classificação
Leia maisNão sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES
Lógica Matemática e Computacional Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES 2. Conceitos Preliminares 2.1. Sentença, Verdade e Proposição Cálculo Proposicional Como primeira
Leia maisProf. Tiago Semprebom, Dr. Eng. 09 de abril de 2013
Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago
Leia maisFundamentos da Computação 1. Aula 03
Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise
Leia maisSumá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 maisLógica. Professor Mauro Cesar Scheer
Lógica Professor Mauro Cesar Scheer Objetivos Reconhecer e manipular com os símbolos formais que são usados no Cálculo Proposicional (CPC) e Cálculo de Predicados (CP). Determinar o valor de verdade de
Leia maisRaciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01
Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01 PROPOSIÇÕES Denomina-se proposição a toda frase declarativa, expressa em palavras ou
Leia maisAnotaçõ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 maisAlfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
Leia maisGestão Empresarial Prof. Ânderson Vieira
NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas
Leia maisBIZU PARA POLÍCIA FEDERAL PROFESSOR: GUILHERME NEVES
Olá, pessoal! Meu nome é Guilherme Neves e estou ministrando o curso de Raciocínio Lógico para o concurso da Polícia Federal que será realizado pelo CESPE-UnB. Vamos, de uma maneira sucinta, fazer uma
Leia maisCASA TRIBUNAIS RACIOCÍNIO LÓGICO
CASA TRIBUNAIS RACIOCÍNIO LÓGICO Proposição Prof. Bruno Villar www.acasadoconcurseiro.com.br Raciocínio Lógico PROPOSIÇÃO TEMA: PROPOSIÇÃO A proposição lógica é o alicerce na construção do conhecimento
Leia maisGRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /
1 www.romulopassos.com.br / www.questoesnasaude.com.br GRATUITO RACIOCÍNIO LÓGICO - EBSERH Professor Paulo Henrique PH Aula 03 R A C I O C Í N I O L Ó G I C O E B S E R H a u l a 0 2 Página 1 2 www.romulopassos.com.br
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação
Leia maisLógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisIntrodução à Logica Computacional. Aula: Lógica Proposicional - Sintaxe e Representação
Introdução à Logica Computacional Aula: Lógica Proposicional - Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício
Leia maisMatéria: Raciocínio Lógico Concurso: Auditor Tributário ISS Gramado 2019 Professor: Alex Lira
Concurso: Professor: Alex Lira Prova comentada: Auditor Tributário ISS GRAMADO 2019 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3 LISTA DE QUESTÕES...
Leia maisCASA TRIBUNAIS RACIOCÍNIO LÓGICO
CASA TRIBUNAIS RACIOCÍNIO LÓGICO Lógica de Argumentação Prof. Bruno Villar www.acasadoconcurseiro.com.br Raciocínio Lógico ARGUMENTO LÓGICO Existem duas formas de verificar, no método tradicional, a validade
Leia maisINSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE
1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.
Leia mais22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo
Conteúdo 1. Conceitos Iniciais... 6 2. Proposições [1]... 7 3. Proposições [2] Tautologia - Contradição - Contigência... 8 4. Não são Proposições... 9 5. Lógica argumentativa Negação... 10 6. Lógica argumentativa
Leia maisRACIOCÍNIO LÓGICO. Raciocínio Lógico Ficha 1 Prof. Nelson Carnaval
RACIOCÍNIO LÓGICO Lógica proposicional Chama-se proposição toda sentença declarativa que pode ser classificada em verdadeira ou falsa, mas não as duas. Letras são usualmente utilizadas para denotar proposições.
Leia maisUNIP Ciência da Computação Prof. Gerson Pastre de Oliveira
Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos
Leia maisRodada #1 Raciocínio Lógico
Rodada #1 Raciocínio Lógico Professor Guilherme Neves Assuntos da Rodada Estrutura lógica de relações arbitrárias entre pessoas, lugares, objetos ou eventos fictícios; deduzir novas informações das relações
Leia maisGRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /
1 www.romulopassos.com.br / www.questoesnasaude.com.br GRATUITO RACIOCÍNIO LÓGICO - EBSERH Professor Paulo Henrique PH Aula 02 R A C I O C Í N I O L Ó G I C O E B S E R H a u l a 0 2 Página 1 2 www.romulopassos.com.br
Leia maisLógica. Cálculo Proposicional. Introdução
Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras
Leia mais01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional
Capítulo 1 A linguagem da Lógica Proposicional 1 Introdução O estudo da Lógica é fundamentado em: Especificação de uma linguagem Estudo de métodos que produzam ou verifiquem as fórmulas ou argumentos válidos.
Leia maisLógica Formal. Matemática Discreta. Prof. Vilson Heck Junior
Lógica Formal Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;
Leia maisRaciocínio Lógico e Matemático - Unidade 2: Introdução à Lógica
Raciocínio lógico e matemático Unidade 2: Introdução à lógica Prof. Me. Diego Fernandes Emiliano Silva diego.fernandes@pitagoras.com.br http://diegofernandes.weebly.com Seção 2.1 O QUE É LÓGICA? 1 2 http://diego.fernandes.weebly.com
Leia maisSMA Elementos de Matemática Notas de Aulas
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA 341 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2009 Sumário 1 Noções
Leia maisPROFESSOR : ALEXANDRE PORTELA MATÉRIA: RACIOCÍNIO LÓGICO ASSUNTO: LÓGICA QUALITATIVA
PROFESSOR : ALEXANDRE PORTELA MATÉRIA: RACIOCÍNIO LÓGICO ASSUNTO: LÓGICA QUALITATIVA 1)RELAÇÃO ENTRE PESSOAS,LUGARES,OBJETOS E EVENTOS: - Nesse tipo de associação vamos correlacionar pessoas aos seus lugares,
Leia maisPROPOSIÇÕ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 maisDOUGLAS LÉO RACIOCÍNIO LÓGICO
DOUGLAS LÉO RACIOCÍNIO LÓGICO 1 - (IBFC - AGERBA - ESPECIALISTA EM REGULAÇÃO - 2017) A negação da frase O Sol é uma estrela e a Lua é um satélite de acordo com a equivalência lógica proposicional, é dada
Leia maisLÓGICA PROPOSICIONAL. Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Falso - Não acontece
LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:
Leia mais4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico
Registro CMI 40616 Aula Proposição 4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico Toda proposição é uma frase mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando
Leia maisResumo de Filosofia. Preposição frase declarativa com um certo valor de verdade
Resumo de Filosofia Capítulo I Argumentação e Lógica Formal Validade e Verdade O que é um argumento? Um argumento é um conjunto de proposições em que se pretende justificar ou defender uma delas, a conclusão,
Leia maisAULA 1 Frases, proposições e sentenças 3. AULA 2 Conectivos lógicos e tabelas-verdade 5. AULA 3 Negação de proposições 8
Índice AULA 1 Frases, proposições e sentenças 3 AULA 2 Conectivos lógicos e tabelas-verdade 5 AULA 3 Negação de proposições 8 AULA 4 Tautologia, contradição, contingência e equivalência 11 AULA 5 Argumentação
Leia maisMatemática Régis Cortes. Lógica matemática
Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Fundamentos de Lógica No nosso dia a dia, usamos todo o tipo de frases: Cinco é menor
Leia maisn. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.
n. 6 Equivalências Lógicas A equivalência lógica trata de evidenciar que é possível expressar a mesma sentença de maneiras distintas, preservando, o significado lógico original. Def.: Diz-se que uma proposição
Leia maisRACIOCÍNIO LÓGICO. Quantificadores. Prof. Renato Oliveira
RACIOCÍNIO LÓGICO. Prof. Renato Oliveira Os quantificadores são proposições categóricas que transformam sentenças abertas em proposições lógicas, pela quantificação das variáveis. Exemplo: x + 2 > 4 não
Leia maisRACIOCÍNIO LÓGICO. Jairo Teixeira. 1ª Ed. Revista e atualizada. Para Concurso Técnico e Analista
Revista e atualizada 1ª Ed RACIOCÍNIO LÓGICO Para Concurso Técnico e Analista Jairo Teixeira Teoria Resumo ao final do capítulo Questões Gabaritadas INSTRUÇÕES NAVEGAÇÃO: Toque para acessar as miniaturas
Leia maisESTRUTURAS LÓGICAS PROFESSOR: FELIPPE LOUREIRO
ESTRUTURAS LÓGICAS PROFESSOR: FELIPPE LOUREIRO PROPOSIÇÕES LÓGICAS DEFINIÇÃO: Declaração ou sentença, composta por palavras ou símbolos, e que possui o valor lógico verdadeiro ou falso. EXEMPLOS: - 3 +
Leia maisALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo
Assembleia Legislativa do Estado de Sergipe ALESE Técnico Legislativo / Área Apoio Técnico Administrativo Volume I Edital Nº 01/2018 de Abertura de Inscrições JN071-A-2018 DADOS DA OBRA Título da obra:
Leia maisQuestõ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 maisQUESTÕ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 maisFundamentos de Lógica Lógica Proposicional
Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos
Leia maisTÓPICO 1 PROPOSIÇÕES E CONECTIVOS RESUMO TEÓRICO
TÓPICO 1 PROPOSIÇÕES E CONECTIOS RESUMO TEÓRICO P P Como qualquer linguagem, a Matemática utiliza os seus termos - palavras ou símbolos - e as suas proposições - combinações de termos, de acordo com determinadas
Leia maisAprendendo. Raciocínio. Lógico
Aprendendo Raciocínio Lógico Sentenças Abertas Raciocínio Lógico Sentenças matemáticas abertas ou simplesmente sentenças abertas são expressões que não podemos identificar como verdadeiras ou falsas. Exemplos:
Leia maisFilosofia (aula 10) Dimmy Chaar Prof. de Filosofia. SAE
Filosofia (aula 10) Prof. de Filosofia SAE leodcc@hotmail.com Lógica Tipos de Argumentação Dedução parte-se do Universal para o Particular Tipos de Argumentação Dedução parte-se do Universal para o Particular;
Leia maisMaterial Extra Aula 6 Raciocínio Lógico Prof. Edgar Abreu
Auditor Fiscal Material Extra Aula 6 Raciocínio Lógico Prof. Edgar Abreu Raciocínio Lógico SILOGISMO Silogismo Categórico é uma forma de raciocínio lógico na qual há duas premissas e uma conclusão distinta
Leia mais2 AULA. Conectivos e Quantificadores. lógicas. LIVRO. META: Introduzir os conectivos e quantificadores
1 LIVRO Conectivos e Quantificadores Lógicos META: Introduzir os conectivos e quantificadores lógicos. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Compreender a semântica dos conectivos
Leia mais(Lógica) Negação de Proposições, Tautologia, Contingência e Contradição.
aula 07 (Lógica) Negação de Proposições, Tautologia, Contingência e Contradição. Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.html Negação de Proposições
Leia maisRaciocínio Lógico Parte 2 Prof. Dudan
Agente + Escrivão de Polícia Raciocínio Lógico Parte 2 Prof. Dudan Raciocínio Lógico 1. INTRODUÇÃO A RACIOCÍNIO LÓGICO A Lógica tem, por objeto de estudo, as leis gerais do pensamento e as formas de aplicar
Leia maisMatemática. Lógica Proposicional. Professor Dudan
Matemática Lógica Proposicional Professor Dudan Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos
Leia maisww.concursovirtual.com.b
(CESPE Agente da PF) Julgue os seguintes itens: 1.Se as proposições P e Q são ambas verdadeiras, então a proposição ( P) v ( Q) também é verdadeira. 2. Se a proposição T é verdadeira e a proposição R é
Leia maisLógica Proposicional Parte 2
Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas
Leia maisLÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em:
LÓGICA COMPUTACIONAL Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica 1 CODIFICAÇÃO DA CONJECURA DE COLLATZ QUE FALEI NA AULA PASSADA. 2 3 4 A lógica é usada para guiar
Leia maisIntrodução à Lógica Proposicional Sintaxe
Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe PASSOS PARA O ESTUDO DE LÓGICA Prof a Maria das Graças Marietto graca.marietto@ufabc.edu.br 2 ESTUDO DE LÓGICA O estudo
Leia maisProposições são sentenças que podem ser julgadas como verdadeiras - V - ou falsas - F -, mas não como ambas, simultaneamente. As proposições são
Proposições são sentenças que podem ser julgadas como verdadeiras - V - ou falsas - F -, mas não como ambas, simultaneamente. As proposições são freqüentemente representadas por letras maiúsculas e, a
Leia maisRACIOCÍNIO LÓGICO. Quantas dessas proposições compostas são FALSAS? a) Nenhuma. b) Apenas uma. c) Apenas duas. d) Apenas três. e) Quatro.
RACIOCÍNIO LÓGICO 01. Uma proposição é uma sentença fechada que possui sentido completo e à qual se pode atribuir um valor lógico verdadeiro ou falso. Qual das sentenças apresentadas abaixo se trata de
Leia maisIntrodução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
Leia maisn. 4 TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS TAUTOLOGIA
n. 4 TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS TAUTOLOGIA Chama-se tautologia é toda a proposição composta cujo valor lógico (última coluna da sua tabela-verdade) é sempre V (Verdadeiro). As tautologias
Leia maisMatemática discreta e Lógica Matemática
AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1
Leia maisRodada #01 Raciocínio Lógico
Rodada #01 Raciocínio Lógico Professor Guilherme Neves Assuntos da Rodada RACIOCÍNIO LÓGICO: Conjuntos e suas operações. Números naturais, inteiros, racionais e reais e suas operações. Representação na
Leia maisLógica Proposicional (cont.)
Lógica Proposicional (cont.) Conectivos lógicos Conjunção (e: ^) Disjunção (ou: v) Negação (não : ~) Condicional (se...então: ) Bicondicional (se somente se: ) 1 Negação de um proposição composta Negar
Leia maisFundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno
Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão
Leia maisLógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.
Leia mais