PROBLEMAS DE LÓGICA. Prof. Élio Mega
|
|
|
- Natan Lagos Bardini
- 9 Há anos
- Visualizações:
Transcrição
1 PROBLEMAS DE LÓGICA Prof. Élio Mega
2 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? 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.
3 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: = 4 (F) = 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.
4 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.
5 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: V V V F
6 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: F V V F
7 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.
8 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
9 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?
10 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?
11 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.
12 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?
13 FUVEST O número x é racional. a) Usando as propriedades das potências, calcule x. b) Prove que existem dois números irracionais e tais que é racional.
14 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.
15 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
16 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
17 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
18 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
19 OBMEP 2013 N1
20 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
Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.
1 Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2012-9-21 1/15 Como o Conhecimento Matemático é Construído 2 Definições Axiomas Demonstrações Teoremas Demonstração: prova de que um
Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática
1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT 131 - Introdução à Álgebra 2017 1 a Lista de Exercícios Tópico: Algumas questões de Lógica 1. Considere que, em
Exercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues
Exercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues As respostas encontram-se em itálico. 1. Quais das frases a seguir são sentenças? a. A lua é feita de queijo verde. erdadeira, pois é uma
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
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
Aula 1 Aula 2. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: [email protected] Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
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
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.
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:
LÓGICA APLICADA A COMPUTAÇÃO
LÓGICA APLICADA A COMPUTAÇÃO 2009.3 Aquiles Burlamaqui Apresentação da Disciplina Planejamento Conteúdo Programático Metodologia Bibliografia Definição Motivação Planejamento Semestre 2009.3 Local 3B5
Para provar uma implicação se p, então q, é suficiente fazer o seguinte:
Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que
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
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
Lógica Computacional DCC/FCUP 2017/18
2017/18 Raciocínios 1 Se o André adormecer e alguém o acordar, ele diz palavrões 2 O André adormeceu 3 Não disse palavrões 4 Ninguém o acordou Será um raciocínio válido? Raciocínios Forma geral do raciocínio
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
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.
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi [email protected] http://fabianotaguchi.wordpress.com LÓGICA O homem pensa, possui o dom da palavra, é um animal racional, e é isto que o distingue dos
Aula 1 Aula 2 Aula 3. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: [email protected] Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi
GMA DEPARTAMENTO DE MATEMÁTICA APLICADA Fundamentos de Matemática Lista de Exercícios Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 02 Demonstração direta, demonstração por absurdo e
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 [email protected] http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
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
Lógica Matemática e Computacional. 2.3 Equivalência Lógica
Lógica Matemática e Computacional 2.3 Equivalência Lógica Equivalência Lógica Definição: Dadas as proposições compostas P e Q, diz-se que ocorre uma equivalência lógica entre P e Q quando suas tabelas-verdade
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
Cálculo proposicional
Notas de aula de MAC0329 (2003) 9 2 Cálculo proposicional Referências para esta parte do curso: capítulo 1 de [Mendelson, 1977], capítulo 3 de [Whitesitt, 1961]. Proposição Proposições são sentenças afirmativas
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
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)
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: [email protected] ou [email protected] versão 1.0
Matemática Computacional
Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva [email protected] site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:
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 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
Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: [email protected] 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.
Instruções para a realização da Prova Leia com muita atenção. Prova da primeira fase
Nível 2 Instruções para a realização da Prova Leia com muita atenção Prova da primeira fase Instruções: O tempo de duração da prova é de uma hora e trinta minutos. Esta é uma prova de múltipla escolha.
CEDERJ MÉTODOS DETERMINÍSTICOS 1 - EP4. Prezado Aluno,
CEDERJ MÉTODOS DETERMINÍSTICOS 1 - EP4 Prezado Aluno, Neste EP daremos sequência ao nosso estudo da linguagem da lógica matemática. Aqui veremos o conectivo que causa mais dificuldades para os alunos e
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
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
NHI Lógica Básica (Lógica Clássica de Primeira Ordem)
NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático
Lógica dos Conectivos: demonstrações indiretas
Lógica dos Conectivos: demonstrações indiretas Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário Olhe para as premissas Olhe para a conclusão Estratégias indiretas Principais exemplos
Aula 1: Introdução ao curso
Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer [email protected] Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos
Demonstrações. Terminologia Métodos
Demonstrações Terminologia Métodos Técnicas de Demonstração Uma demonstração é um argumento válido que estabelece a verdade de uma sentença matemática. Técnicas de Demonstração Demonstrações servem para:
Cálculo de Predicados
Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José [email protected] 18 de maio de 2013
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,
PC Polícia Civil do Estado de São Paulo PAPILOSCOPISTA
PC Polícia Civil do Estado de São Paulo PAPILOSCOPISTA Concurso Público 2016 Conteúdo Teoria dos conjuntos. Razão e proporção. Grandezas proporcionais. Porcentagem. Regras de três simples. Conjuntos numéricos
Elementos de Matemática
Elementos de Matemática Álgebra de Boole Roteiro no. 10 - Atividades didáticas de 2007 8 de Outubro de 2007- Arq: elementos10.tex Departamento de Matemática - UEL Prof. Ulysses Sodré E-mail: ulysses(at)matematica(pt)uel(pt)br
Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti
Unidade I LÓGICA Profa. Adriane Paulieli Colossetti O que é lógica A lógica ensina a colocar ordem no pensamento. Sistemas Dicotônicos Proposições: São sentenças declarativas, que satisfazem três princípios
Instruções para a realização da Prova Leia com muita atenção. Prova da primeira fase
Nível 3 Instruções para a realização da Prova Leia com muita atenção Prova da primeira fase Instruções: O tempo de duração da prova é de uma hora e trinta minutos. Esta é uma prova de múltipla escolha.
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
Matéria: Raciocínio Lógico Concurso: Agente da Polícia Federal 2018 Professor: Alex Lira
Concurso: Professor: Alex Lira Prova comentada: Agente Polícia Federal 2018 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3 LISTA DE QUESTÕES... 10 Página
SMA Elementos de Matemática Notas de Aulas
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA 341 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2009 Sumário 1 Noções
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:
Cálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Lógica dos Quantificadores: sintaxe
Lógica dos Quantificadores: sintaxe Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário 1. Princípios sintáticos 2. Alfabeto de LQ 3. Fórmulas de LQ 4. Variáveis livres, variáveis ligadas
UNIP 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
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
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
Linguagem matemática e elementos de lógica. Ana Carolina Boero
Linguagem matemática e elementos de lógica Ana Carolina Boero Quantificadores Em Matemática, os quantificadores existe e para todo, denotados respectivamente pelos símbolos e, são amplamente utilizados.
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
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
OBS.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
RECEITA FEDERAL ANALISTA
SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como
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.
Campos 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:
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:
Maté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...
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...
Afirmações Matemáticas
Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,
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
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,
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
Matemá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
Elementos de Lógica Matemática. Uma Breve Iniciação
Elementos de Lógica Matemática Uma Breve Iniciação Proposições Uma proposição é uma afirmação passível de assumir valor lógico verdadeiro ou falso. Exemplos de Proposições 2 > 1 (V); 5 = 1 (F). Termos
LISTA DE EXERCÍCIOS. Demonstrações diretas e por absurdo
LISTA DE EXERCÍCIOS Matemática Básica Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 02 Demonstrações diretas e por absurdo Diga se cada uma das sentenças abaixo é verdadeira ou falsa.
Tutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Inclusão Operações com conjuntos
Tutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Є (pertence) ou Є (não pertence) Sempre verificando de elemento para conjunto { } ou Ø = vazio {Ø} = conjunto com elemento vazio
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
Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
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
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
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
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;
1. Princípio da não-contradição: Uma proposição não pode ser verdadeira e falsa
Raciocínio Lógico Lógica estuda as formas ou estruturas do pensamento, isto é, seu propósito é estudar e estabelecer propriedades das relações formais entre as proposições. DEFINIÇÃO: Proposição: conjunto
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
RACIOCÍ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.
Unidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano
A Pirâmide de aprendizagem de William Glasser Unidade 1 - Elementos de Lógica e Linguagem Matemáticas Matemática Básica Departamento de Matemática Aplicada Universidade Federal Fluminense 2018.1 Segundo
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:
Elementos de Lógica Matemática p. 1/2
Elementos de Lógica Matemática Uma Breve Iniciação Gláucio Terra [email protected] Departamento de Matemática IME - USP Elementos de Lógica Matemática p. 1/2 Vamos aprender a falar aramaico? ǫ > 0 ( δ
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
Raciocínio Lógico
Raciocínio Lógico 01. João reuniu-se com seus 12 irmãos na ceia de Natal. Das afirmações abaixo, referentes aos membros da mesma família reunidos, a única necessariamente verdadeira é: a) pelo menos uma
Ló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
ALESE. 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:
RACIOCÍ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
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.
Aprendendo. 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
Lógica Texto 7. Texto 7. 1 Negação de enunciados atômicos Exercício resolvido Negação de enunciados moleculares 5
Lógica para Ciência da Computação I Lógica Matemática Texto 7 Negação e simplificação de enunciados Sumário 1 Negação de enunciados atômicos 2 1.1 Observações................................ 2 1.2 Exercício
