Elementos de Matemática

Documentos relacionados
Elementos de Matemática

Não vos prendais a um jugo desigual com os incrédulos. 2 Coríntios 6:14 O QUE É UM JUGO?

Elementos de Matemática

O homossexualismo e o casamento homoafetivo.

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

"Porque eu sou o Senhor vosso Deus; portanto vós vos santificareis, e sereis santos..." Levítico 11:44

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

Elementos de Matemática

LÓGICA APLICADA A COMPUTAÇÃO

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

Elementos de Matemática

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

Introdução à Programação I

Geometria Diferencial

Matemática Computacional

HOMOSSEXUALIDADE IDENTIDADE E GRAÇA

Fundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno

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

Matemática Régis Cortes. Lógica matemática

Departamento de Engenharia Informática da Universidade de Coimbra

22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo

Iniciação a Lógica Matemática

Aula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes

Fundamentos 1. Lógica de Predicados

Fundamentos de Lógica e Algoritmos

Lógica proposicional

Álgebra das Proposições. Prof. Guilherme Tomaschewski Netto

Matemática discreta e Lógica Matemática

3 Cálculo Proposicional

Afirmações Matemáticas

Matemática discreta e Lógica Matemática

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

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 à Logica Computacional. Aula: Lógica Proposicional -Sintaxe e Representação

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

Lição 25. frutos. carne. e do. Espírito

Os Fundamentos: Lógica de Predicados

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /

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

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

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

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

Noções básicas de Lógica

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

Lógica Computacional

Lógica Matemática e Computacional. Proposições Simples e Compostas Exercícios

Fundamentos da Computação 1. Aula 03

Introdução à Computação (IC) Algoritmos: Expressões lógicas

ANÁLISE MATEMÁTICA I. Curso: EB

Nome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar. Noções de Lógica

LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014

Cálculo proposicional

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

Introdução à Logica Computacional. Aula: Lógica Proposicional - Sintaxe e Representação

Alfabeto da Lógica Proposicional

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

RECEITA FEDERAL ANALISTA

Algoritmos e Programação I

Matemática Discreta - 01

#ConstruçãoDeTabelasVerdade

Cálculo de Predicados


Lógica Proposicional (cont.)

HORÁRIO DE AULA Educação Infantil

Prof. Jorge Cavalcanti

Aula 1: Introdução ao curso

n. 3 Construção de Tabelas-Verdade

Programa. Raciocínio Lógico Matemático. Livros. Provas

Estudo Resumido sobre a Bíblia sagrada.

Aula 3 Lógica Matemática

Introdução à Lógica Proposicional Sintaxe e Semântica

Gestão Empresarial Prof. Ânderson Vieira

Lógica Proposicional Sintaxe

Aprendendo. Raciocínio. Lógico

01/02/2016 LÓGICA MATEMÁTICA. Conectivos lógicos e tabela verdade. Os conectivos lógicos são utilizados para formar novas preposições.

Aula 1 Teoria com resolução de questões FGV

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

Algoritmia e Programação APROG. Algoritmia 1. Lógica Proposicional (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12

Fundamentos da Lógica I

Linguagem C/C++ Estrutura Condicional. Prof: Rosemary Melo

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

3 AULA. Valorações e Tabelas de Verdade LIVRO. META: Apresentar tabelas de verdade para classificar proposições lógicas.

Matemática discreta e Lógica Matemática

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

Referências e materiais complementares desse tópico

Enunciados Atômicos, Conectivos e Enunciados Moleculares

Fundamentos da Computação 1. Carmen Cecilia Centeno

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 :

1 TEORIA DOS CONJUNTOS

Relações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5)

01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional

Lóg L ica M ca at M em e ática PROF.. J EAN 1

n. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V

Lógica Computacional

Transcrição:

Elementos de Matemática Exercícios de Lógica para as atividades didáticas de 2007 Versão compilada no dia 27 de Abril de 2007. Departamento de Matemática - UEL Prof. Ulysses Sodré E-mail: ulysses@matematica.uel.br Matemática Essencial: http://www.mat.uel.br/matessencial/ Resumo: Notas de aulas construídas com materiais usados em nossas aulas na UEL. Elas devem ser usadas como roteiro para as aulas e não espero que elas venham a substituir qualquer livro sobre o assunto. Alguns conceitos foram obtidos em livros citados na Bibliografia, mas os assuntos foram bastante modificados. Em português, há pouco material de domínio público, mas em inglês existe muito material que pode ser obtido na Internet. Sugiro que o leitor pesquise para obter materiais gratuitos para os seus estudos. Mensagem: Não sabeis que os injustos não herdarão o reino de Deus? Não vos enganeis: nem os devassos, nem os idólatras, nem os adúlteros, nem os efeminados, nem os sodomitas, nem os ladrões, nem os avarentos, nem os bêbedos, nem os maldizentes, nem os roubadores herdarão o reino de Deus. E tais fostes alguns de vós; mas fostes lavados, mas fostes santificados, mas fostes justificados em nome do Senhor Jesus Cristo e no Espírito do nosso Deus. Todas as coisas me são ĺıcitas, mas nem todas as coisas convêm. Todas as coisas me são ĺıcitas; mas eu não me deixarei dominar por nenhuma delas. A Bíblia Sagrada, I Coríntios 6:9-12

Seção 1 Exercícios de Lógica e Conjuntos 1 1 Exercícios de Lógica e Conjuntos Definição 1 (Proposição Atômica e Proposição Molecular). Proposição lógica Atômica (A) é uma proposição simples e proposição lógica Molecular (M) é aquela composta de duas ou mais proposições Atômicas. 1. Baseado na definição acima, identifique com as letras A ou M, cada uma das proposições seguintes: (a) Serviremos a comida às 12:00 horas. (b) A música está alta ou a porta está fechada. (c) Se Maria está cantando, ela está feliz. (d) Se x = 0 então x y = 6. (e) x + y < 10. (f) Esta proposição é Atômica ou Molecular. (g) Esta proposição Atômica não é Molecular. (h) Esta proposição Molecular não é Atômica. (i) Alunos estudam Lógica no primeiro ano de Matemática. 2. Montar quatro proposições moleculares com as proposições Atômicas: (a) Maria é linda. (b) João canta bem. 3. Identificar os conectivos nas proposições lógicas: (a) Hoje não é o dia mais feliz da minha vida. (b) O inverno chegou e os dias são mais curtos. (c) Se x = 0 então x y = 6. (d) x + y < 10 pois x < 5. (e) Este menino é meu irmão e eu sou a sua irmã. 4. Escrever proposições lógicas, nas formas: (a) Ou (...) ou (...) (b) (...) ou (...) (c) (...) e (...) (d) Não (...) (e) Se (...) então (...) (f) Se (...), (...) (g) Se não (...) então não (...) (h) Não é verdade que (...)

Seção 1 Exercícios de Lógica e Conjuntos 2 5. Use parênteses para identificar as proposições atômicas nas proposições: (a) João veio à aula e Maria não veio. (b) Se x + 2 = 7 então x = 5. (c) Se a 0 e ax + b = 0, então x = b/a. (d) Ou y = 0 e x 0 ou z = 1. (e) Não é verdade que se x + 1 = 7 então x = 12. 6. Escrever as proposições moleculares abaixo usando símbolos lógicos, identificando as proposições atômicas p e q associadas. Por exemplo, a proposição molecular: Jó irá ao teatro ou irá ao cinema, pode ser escrita como p q, onde p : Jó irá ao teatro e q : Jó irá ao cinema. (a) Dava um passo para a esquerda e andava dois passos para frente. (b) As rosas são vermelhas e as violetas são azuis. (c) Se o Brasil está na América do Sul, então está no hemisfério Sul. (d) Estes problemas de lógica não são fáceis para mim. (e) Se a aula de Lógica já começou, então eu estou chegando atrasado. 7. Traduzir para a linguagem comum das pessoas: (a) Se p, então q. (b) p ou q. (c) p e q. (d) Não p. (e) p equivale a q. (f) Se p equivale a q, então r. 8. Substituir as palavras pelos símbolos lógicos correspondentes. (a) p e q. (b) p ou q. (c) Se p então q. (d) p se, e somente se, q. (e) a negação de p. 9. Substituir as palavras pelos símbolos lógicos correspondentes. (a) x = 0 e y = 2. (b) x = 0 ou y = 2. (c) Se x = 0 então y = 2. (d) x y = 0 se, e so se, x = y. (e) x y = 0, sse, x = y. (f) A negação de x = 0.

Seção 1 Exercícios de Lógica e Conjuntos 3 10. Escrever com símbolos lógicos as proposições abaixo, usando as proposições atômicas contidas nas proposições moleculares. (a) Se x = y então x = 7. (b) Se x y então x > 7. (c) x + y = 0 ou x y = 3. (d) Se a 0 e ax + b = 0 então x = b/a. (e) Se x y então x 1 e x 2. 11. Escrever com símbolos e indicar as proposições atômicas correspondentes. (a) Ulysses estuda na sala 12 e Márcia estuda na sala 11. (b) Os CDs antigos de José são bons mas os os CDs novos são ruins. (c) Maria tem 13 anos e Mário tem 15 anos. (d) Hoje é o dia 31 e amanhã é o dia primeiro. (e) João é alto ou Josefa é baixa. 12. Usar símbolos lógicos e exibir as proposições atômicas correspondentes a cada proposição molecular apresentada. (a) Ou Manuel fará a apresentação ou Manuel ajudará nas roupas. (b) Pode-se apresentar o vetor por meio de duas componentes ou estamos em três dimensões. (c) Uma anêmona é um animal ou é uma planta. (d) Temos que chegar cedo, ou outro ficará com o emprego. (e) A área do triângulo ABC é igual à área do triângulo DEF ou a área do triângulo ABC é menor que a área do triângulo DEF. 13. Analisar e indicar os conectivos em cada proposição. (a) Se a parede é de cor negra, ela não refletirá a luz. (b) x > 0 ou x = 0. (c) Se x + y = z então y + x = z. (d) Se x + y = 0 e x > 0 então y < 0. (e) Se x + y = 0 e x = 0 então y = 0. 14. Colocar parênteses de forma adequada para que cada uma das proposições abaixo seja uma conjunção com o conectivo. (a) p q r (b) p q r

Seção 1 Exercícios de Lógica e Conjuntos 4 15. Colocar parênteses de forma adequada para que cada uma das proposições abaixo seja uma disjunção com o conectivo. (a) p q r (b) p q r 16. Traduzir para símbolos lógicos as afirmações. (a) Se x é menor do que dois, então x é igual a um ou x é igual a zero. (b) Se existe x menor que 3 e x é maior que 1, então x é igual a dois. (c) Se y = 4 e se x < y então x < 5. (d) Ou x é maior que cinco e y é menor que sete ou x não é igual a seis. (e) Se x + 3 > 5 e y 4 > 0 então y > 6. 17. Colocar parênteses de forma que cada proposição tenha a característica do conectivo indicado à esquerda da mesma. Condicional p q r p q r p q r Condicional p q r p q r p q r Conjunção p q r p q r p q r Conjunção p q r p q r p q r Disjunção p q r p q r p q r Disjunção p q r p q r p q r 18. Eliminando alguns parênteses, cada afirmação é verdadeira ou falsa? Com parênteses equivale a Sem parênteses V ou F? (p q) r equivale a p q r Verdadeira p (q r) equivale a p q r (p q) r equivale a p q r ( p) q equivale a p q p ( q) equivale a p q ( q) ( p) equivale a q p p (q r) equivale a (p q) r Falsa (p p) equivale a p q (p q) r equivale a p q r p (q r) equivale a p q r