PROBLEMAS DE LÓGICA. Prof. Élio Mega



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

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

Exercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues

FICHA DE TRABALHO N.º 2 MATEMÁTICA A - 10.º ANO CONJUNTOS E CONDIÇÕES

Introdução à Lógica Matemática

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

Gestão Empresarial Prof. Ânderson Vieira

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

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

LÓGICA APLICADA A COMPUTAÇÃO

Para provar uma implicação se p, então q, é suficiente fazer o seguinte:

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009

Lógica Computacional DCC/FCUP 2017/18

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

11/01/2016 LÓGICA MATEMÁTICA. O homem pensa, possui o dom da palavra, é um animal racional, e é isto que o distingue dos outros animais.

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

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

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

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

Lógica Matemática e Computacional. 2.3 Equivalência Lógica

Lista 2 - Bases Matemáticas

Cálculo proposicional

Lista 1 - Bases Matemáticas

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

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

Matemática Computacional

Ló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 Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016

Instruções para a realização da Prova Leia com muita atenção. Prova da primeira fase

CEDERJ MÉTODOS DETERMINÍSTICOS 1 - EP4. Prezado Aluno,

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

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

NHI Lógica Básica (Lógica Clássica de Primeira Ordem)

Lógica dos Conectivos: demonstrações indiretas

Aula 1: Introdução ao curso

Demonstrações. Terminologia Métodos

Cálculo de Predicados

1 TEORIA DOS CONJUNTOS

PC Polícia Civil do Estado de São Paulo PAPILOSCOPISTA

Elementos de Matemática

Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti

Instruções para a realização da Prova Leia com muita atenção. Prova da primeira fase

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

Matéria: Raciocínio Lógico Concurso: Agente da Polícia Federal 2018 Professor: Alex Lira

SMA Elementos de Matemática Notas de Aulas

QUESTÕES REVISÃO DE VÉSPERA FUNAI

Cálculo proposicional

Lógica dos Quantificadores: sintaxe

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Expoente 10 Dossiê do Professor 2

Linguagem matemática e elementos de lógica. Ana Carolina Boero

FICHA DE TRABALHO N.º 1 MATEMÁTICA A - 10.º ANO INTRODUÇÃO À LÓGICA BIVALENTE

RLM Material de Apoio Professor Jhoni Zini

OBS.1: As palavras Se e então podem estar ocultas na. Proposição

RECEITA FEDERAL ANALISTA

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE

Campos Sales (CE),

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 :

Matéria: Raciocínio Lógico Concurso: Auditor Tributário ISS Gramado 2019 Professor: Alex Lira

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

Afirmações Matemáticas

INTRODUÇÃO À LÓGICA MATEMÁTICA

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:

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

Matemática discreta e Lógica Matemática

Elementos de Lógica Matemática. Uma Breve Iniciação

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

Tutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Inclusão Operações com conjuntos

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.

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

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

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

Nome do aluno: N.º: Turma:

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

1. Princípio da não-contradição: Uma proposição não pode ser verdadeira e falsa

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

RACIOCÍNIO LÓGICO. Raciocínio Lógico Ficha 1 Prof. Nelson Carnaval

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

Referências e materiais complementares desse tópico

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

Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial

Raciocínio Lógico

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

ALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL

Exercícios Recomendados

Aprendendo. Raciocínio. Lógico

Lógica Texto 7. Texto 7. 1 Negação de enunciados atômicos Exercício resolvido Negação de enunciados moleculares 5

Transcrição:

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). Não são sentenças, por exemplo: Bom dia! Que horas são? 2 + 2 x + 2 = 4 São sentenças: A Terra é esférica. O átomo é indivisível. A soma de dois números ímpares é um número par.

ALGUNS CONCEITOS... Sentença aberta: transforma-se em sentença pela substituição das variáveis (letras) por nomes ou pela anexação de quantificadores. Pela substituição de variáveis (exemplo): x + 2 = 4 (não é V nem F). Substituindo-se x: 3 + 2 = 4 (F) 2 + 2 = 4 (V) Pela colocação de ou (quantificadores) x; x + 2 = 4 (F) x; x + 2 = 4 (V) Obs: as variáveis representam objetos de um certo universo de discurso. Doravante, nosso universo é o conjunto dos números reais.

ALGUNS... Representando sentenças por p, q, r,..., podemos usá-las para formar novas sentenças com o auxílio dos conectivos lógicos. Negação de uma sentença Sendo p uma sentença, a sua negação é representada por p. Exemplo: seja p a sentença O número 7 é primo. Sua negação é a sentença p, que deve ser lida como Não é verdade que o número 7 seja primo. ou O número 7 não é primo. Quando p é uma sentença V, sua negação é F e, ao contrário, se p é F, então p é V.

ALGUNS... Disjunção Sendo p e q sentenças, a sentença p q (lê-se p ou q )é chamada disjunção. Uma disjunção é F apenas quando as duas sentenças p e q são F. Por exemplo: 4 2 9 3 V 4 2 4 2 V 4 2 4 2 V 4 2 9 3 F

ALGUNS... Disjunção exclusiva Sendo p e q sentenças, a sentença pq (lê-se p ou q mas não ambos) é chamada disjunção exclusiva, que é V apenas quando uma das sentenças p,q é V. Por exemplo: 4 2 9 3 F 4 2 4 2 V 4 2 4 2 V 4 2 9 3 F

ALGUNS... Implicação ou condicional Sendo p e q sentenças, a sentença p q (lê-se p implica q, se p então q, p é suficiente para q, q é condição necessária para p, etc.) é chamada implicação ou condicional, que é F apenas quando p é V e q é F. 2 x; x 2 x 4 Por exemplo, é uma sentença V, pois é impossível que a primeira sentença seja V e a segunda seja F para qualquer valor de x (experimente substituir 2 x; x 4 o x para 2 ver o que ocorre). Por outro lado, a sentença é F.

ALGUNS... Bi-implicação ou bicondicional Sendo p e q sentenças, a sentença p q (lê-se p se, e somente se q, p é condição suficiente e necessária para q) é chamada bi-implicação ou bicondicional, que é V apenas quando as duas sentenças forem V ou as duas sentenças forem F. Por exemplo, é V a sentença abaixo: x; x 1 4 x 3

ALGUNS... Podemos simbolizar a sentença Todos os números são reais por x; Rx. No nosso universo, esta é uma sentença verdadeira. A sentença Alguns números são reais ou Existe pelo menos um número real (etc.), pode ser simbolizada x; por Rx e também é V. x; Rx x; Rx A negação da primeira é x; Rxou ou x; Rx. e a negação da segunda é Como é que devemos ler essas sentenças? Elas são V ou F?

ALGUNS... A sentença p pé uma tautologia (verdadeira, qualquer que seja a sentença p). A sentença p p é uma contradição (falsa, qualquer que seja a sentença p). Supondo que p é a sentença 2é um número racional como você expressaria cada uma das sentenças acima?

ALGUNS... Esquema de argumentação (linguagem simbólica, linguagem natural): se são verdadeiras as sentenças p q e p, então é verdadeira a sentença q. Caso p seja F, o que se pode concluir? Usualmente, quando demonstramos um teorema em Matemática, desenvolvemos uma cadeia de implicações partindo de uma sentença V. Há outras formas de demonstração, como a redução ao absurdo. Neste tipo de demonstração negamos o que pretendemos demonstrar para chegar a uma contradição, ficando provada a sentença inicial.

E VAMOS AOS PROBLEMAS... Um problema clássico Você está numa cela onde existem duas portas, cada uma vigiada por um guarda. Existe uma porta que dá para a liberdade e outra, para a morte. Você está livre para escolher a porta que quiser e por ela sair. Poderá fazer apenas uma pergunta a um dos dois guardas que vigiam as portas. Um dos guardas sempre fala a verdade e o outro sempre mente e você não sabe quem é o mentiroso e quem fala a verdade. Que pergunta você faria?

FUVEST O número x 2 2 2 é racional. a) Usando as propriedades das potências, calcule x. b) Prove que existem dois números irracionais e tais que é racional.

FUVEST Cada um dos cartões abaixo tem de um lado um número e do outro lado uma letra. Alguém afirmou que todos os cartões que têm uma vogal numa face têm um número par na outra. Para verificar se tal afirmação é verdadeira a) é necessário virar todos os cartões. b) é suficiente virar os dois primeiros cartões. c) é suficiente virar os dois últimos cartões. d) é suficiente virar os dois cartões do meio. e) é suficiente virar o primeiro e o último cartão.

CANGURU 2009 NÍVEL C 15. Na ilha dos verazes e mentirosos, 25 pessoas esperam numa fila. Todo mundo, exceto a primeira pessoa da fila, diz que a pessoa da frente é um mentiroso. O primeiro da fila disse que todos atrás dele são mentirosos. Quantos mentirosos há na fila? (os verazes sempre dizem a verdade, ao passo que os mentirosos sempre falam mentira) (A) 0 (B) 12 (C) 13 (D) 24 (E) Impossível determinar

CANGURU 2010 NÍVEL C 25. Numa sala de reunião havia algumas pessoas que diziam somente a verdade e as demais somente mentiam. Num dado momento, três pessoas fizeram as afirmações a seguir. 1ª pessoa: Não há mais do que três pessoas nesta sala. Todos nós somos mentirosos. 2ª pessoa: Não há mais do que quatro pessoas nesta sala. Alguns não são mentirosos. 3ª pessoa: Há cinco pessoas nesta sala. Três são mentirosas. Quantas pessoas havia na sala e quantas entre elas eram mentirosas? (A) 3 pessoas, 1 mentirosa (B) 4 pessoas, 1 mentirosa (C) 4 pessoas, 2 mentirosas (D) 5 pessoas, 2 mentirosas (E) 5 pessoas, 3 mentirosas

CANGURU 2012 NÍVEL J 24. Num reino submarino há polvos de 6, 7 e 8 tentáculos. Os polvos de 7 tentáculos sempre mentem, mas os de 6 e 8 tentáculos sempre dizem a verdade. Num certo dia, quatro polvos se reúnem. O polvo azul diz: Juntos, temos 28 tentáculos ; o polvo verde diz: Juntos, temos 27 tentáculos. Aí vem o amarelo que diz: Juntos, temos 26 tentáculos e o vermelho encerra a discussão dizendo: Juntos temos 25 tentáculos. Qual é a cor do polvo que está dizendo a verdade? (A) azul (B) verde (C) vermelha (D) amarela (E) nenhuma dessas cores

CANGURU 2012 NÍVEL J 18. Três esportistas, Can, Gu e Ru, participaram de uma maratona. Antes do início da corrida, quatro espectadores discutem as chances de vitória dos três corredores: O primeiro diz: Um dos dois, Can ou Gu, irá vencer. O segundo: Se Gu for o segundo, Ru irá vencer. O terceiro: Se Gu for o terceiro, Can não irá vencer. O quarto: Um dos dois, Gu ou Ru, será o segundo. Terminada a corrida, verificou-se que todas as afirmações acima estavam corretas. Qual foi a ordem de chegada dos corredores? (A) Can, Gu, Ru (B) Can, Ru, Gu (C) Ru, Gu, Can (D) Gu, Ru, Can (E) Gu, Can, Ru

OBMEP 2013 N1

CANGURU 2012 NÍVEL S 30. Todo gato no País das Maravilhas é sábio ou louco. Se um gato sábio estiver em uma sala onde há mais três gatos loucos, então ele também se torna louco. Se um gato louco estiver com outros três gatos sábios numa mesma sala, então ele será declarado louco pelos gatos sábios. Três gatos entraram numa sala vazia e assim que um 4 o gato entrou nessa sala, o 1 o que tinha entrado, saiu. Assim que o 5 o gato entrou, saiu o 2 o que tinha entrado, etc. Depois que o 2012 o gato entrou, aconteceu pela primeira vez de um gato ser declarado louco. Quais dos dois gatos a seguir poderiam estar loucos logo depois de entrar na sala? (A) O 1 o e o 2011 o (B) O 2 o e o 2010 o (C) O 3 o e o 2009 o (D) O 4 o e o 2012 o (E) O 2 o e o 2011 o