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

Documentos relacionados
INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE

RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS

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

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

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

Campos Sales (CE),

Alfabeto da Lógica Proposicional

OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL. APOSTILA 4 Construção de Tabelas-Verdade

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

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

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

LÓGICA APLICADA A COMPUTAÇÃO

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

LÓGICA PROPOSICIONAL

OFICINA DA PESQUISA APOSTILA 3 MATEMÁTICA COMPUTACIONAL. Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva

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

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

Lógica Proposicional (cont.)

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

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.

Matemática discreta e Lógica Matemática

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

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

Lógica para Computação

Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior

Matemática Computacional

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

01/09/2014. Capítulo 3. Propriedades semânticas da Lógica Proposicional

Unidade II LÓGICA. Profa. Adriane Paulieli Colossetti

n. 3 Construção de Tabelas-Verdade

Lógica. Cálculo Proposicional. Introdução

Lógica e Matemática Discreta

Raciocínio lógico matemático

Propriedades Semânticas da Lógica Proposicional(Capítulo 3)

Matemática discreta e Lógica Matemática

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

MATEMÁTICA Questões comentadas Daniela Arboite

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

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

Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César

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.

Universidade Federal Rural de Pernambuco Departamento de Matemática Disciplina: Elementos de Lógica Matemática Prof a Yane Lísley

Lógica para computação

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

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

70 Tons de. Raciocínio. Lógico

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

LÓGICA EM COMPUTAÇÃO

RECEITA FEDERAL ANALISTA

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

Lógica Matemática Computacional

RLM Material de Apoio Professor Jhoni Zini

Inteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO

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

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

Cálculo proposicional

Raciocínio Lógico Quantitativo AULA 12

Departamento de Engenharia Informática da Universidade de Coimbra

Simulado Aula 03 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto

Matemática. Lógica Proposicional. Professor Dudan

Lógica Matemática 1. Semana 7, 8 e 9. Material Previsto para três semanas

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

Gestão Empresarial Prof. Ânderson Vieira

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

QUESTÕES REVISÃO DE VÉSPERA FUNAI

INTRODUÇÃO À LÓGICA MATEMÁTICA

1 TEORIA DOS CONJUNTOS

Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação. Sentenças Abertas

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

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

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

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

A CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 17/360

CASA TRIBUNAIS RACIOCÍNIO LÓGICO

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

(Lógica) Negação de Proposições, Tautologia, Contingência e Contradição.

LÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016

Prof. Jorge Cavalcanti

3 Cálculo Proposicional

LÓGICA PROPOSICIONAL

18/04/2017 ACLESIO MOREIRA RACIOCÍNIO LÓGICO. 1. (IADES-2016) Considere as proposições: p: Paulo é mineiro. q: Pedro é rico.

Operações Lógicas sobre Proposições

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

Aula 3 Lógica Matemática

Aprendendo. Raciocínio. Lógico

ww.concursovirtual.com.b

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.

Introdução à Lógica Matemática

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL

LÓGICA. CONCEITO DE PROPOSIÇÃO Uma proposição é toda a oração que pode ser classificada como verdadeira ou falsa, não ambas.

CAPÍTULO 4 Cálculo proposicional

LÓGICA E CONJUNTO. Professor: Adriano Sales

Lógica proposicional

Professor: Adriano Sales Matéria: Lógica e Conjunto

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

Lógica e Metodologia Jurídica

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

Matemática discreta e Lógica Matemática

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

Transcrição:

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural Disciplina: Lógica Computacional I Professora: Juliana Pinheiro Campos Data: 25/08/2011 Lista de exercícios 1 Assuntos: Proposições, conectivos, operações lógicas sobre proposições, construção de tabelasverdade, tautologias, contradições e contingências, implicação. 1) Considere as proposições abaixo: p:está frio. q:está chovendo. Traduza para a linguagem corrente as seguintes proposições: a) p ~q b) p q c) ~p ~q d) p ~q e) (p ~q) (q ~p) 2) Sendo as proposições p e q abaixo, traduzir para a linguagem simbólica: p: Roberto fala inglês q: Ricardo fala italiano a) Roberto fala inglês e Ricardo fala italiano. b) Ou Roberto não fala inglês ou Ricardo fala italiano. c) Se Ricardo fala italiano então Roberto fala inglês. d) Roberto não fala inglês e Ricardo não fala italiano. 3) Considere as proposições: p: A Terra é um planeta. q: A Terra gira em torno do sol. Traduza para a linguagem simbólica as seguintes proposições: a) Não é verdade que a Terra é um planeta ou gira em torno do sol. b) Se a Terra é um planeta então a Terra gira em torno do sol. c) É falso que a Terra é um planeta ou que não gira em torno do sol. d) A Terra gira em torno do sol se, e somente se, a Terra não é um planeta. e) A Terra não é nem um planeta, nem gira em torno do sol. 4) Traduza para a linguagem simbólica as seguintes proposições: a) x é maior que 5 e menor que 7 ou x não é igual a 6. b) x é maior que 1 ou x é menor que 1 e maior que 0 c) Se eu sou feliz, você é infeliz e se você é infeliz, eu não sou feliz. d) José virá a festa e Maria não gostará ou José não virá a festa e Maria gostará da festa. e) A novela será exibida, a menos que seja exibido o programa político. f) Se chover irei para casa, caso contrário, ficarei no escritório.

5) Sendo p a proposição Paulo é paulista e q a proposição Ronaldo é carioca, traduzir para a linguagem corrente as seguintes proposições: a) ~q b) p q c) p ~~ q d) p q e) p (~q) e) ~ (p q) 6) Dê o valor lógico para: a) 2 < 5 15 / 3 < 5 b) F 18/3 21/3 c) ~ V 9/3 < 15 35 mod 7 7) Se p é uma proposição verdadeira, então: a) p q é verdadeira, qualquer que seja q; b) p q é verdadeira, qualquer que seja q; c) p q é verdadeira só se q for falsa; d) p q é falsa, qualquer que seja q 8) Considere a proposição composta Paula estuda, mas não passa no concurso. Nessa proposição, o conectivo lógico é: a) disjunção exclusiva b) conjunção c) condicional d) bicondicional e) disjunção 9) A interpretação do conectivo na lógica proposicional corresponde ao exato significado da palavra ou na língua portuguesa? Justifique sua resposta. 10) Sabendo que A = 5, B = 8 e C = 1, dê o valor lógico: a) (A=B) (B>C) b) (A B) (B < C) c) ~ (A <= B) d) (A >= B) (B = C) 11) Descreva as sentenças abaixo em termos de proposições simples e operadores lógicos: Exemplo: Se 1>2 então qualquer coisa é possível. p: 1>2 q: qualquer coisa é possível p q a) É falso que 2 + 3 = 5 e 1 + 1 = 3. b) Se 1 + 2 = 5, então 3 + 3 = 6. c) Não é verdade que 3 + 3 = 6 ou 7 2 = 8. d) Se é falso que Lisboa é a capital da França, então Brasília é a capital da Argentina.

12) Determine o valor lógico (V ou F) das proposições enunciadas no exercício anterior. Justifique. Exemplo: Se 1>2 então qualquer coisa é possível. Verdadeira, pois é falso que 1>2. 13) Simplificar as fórmulas, removendo os parênteses desnecessários: a) ((p q) (r s)) b) (p (q (p q)) c) ((p (p q)) q) 14) Determinar V(p) em cada um dos seguintes casos, sabendo que: a) V(q) = F e V(p q) = F b) V(q) = F e V(p q) = F c) V(q) = V e V(p q) = F d) V(q) = F e V(q p) = F 15) Construa a tabela-verdade para as seguintes proposições: a) ~(p ~q) b) ~p (q p ) c) (p q) p q d) (p ~q) ~p q e) (p q r) (~p q ~ r) f) p ~q ((~p r) ~q) 16) Sejam as proposições p: 3 + 1 = 4, q: 2 > 3, r: 1 0 e s: 2 3 = 8. Determine o valor lógico de (p ~q) ~(q (s ~r)). 17) Determinar P(VFV) em cada um dos seguintes casos: a) P(p, q, r) = p ~r ~q b) P(p, q, r) = ~(p q ) ~p r c) P(p, q, r) = ~p (q ~r) 18) Sabendo que a condicional (p q) é verdadeira, determinar o valor lógico das condicionais: a) p r q r b) p r q r 19) Determine os valores lógicos das proposições p, q, r, s e t para os quais a proposição abaixo seja verdadeira: ~[(p q r) (s t)]

20) Classifique as proposições em tautológicas, contraválidas ou contingentes: a) p (~p q) b) ~(p q p ^ q) c) ~p q (p q) d) p ~q p ~q e) p ~q (p ~q) f) ~p ~q (p q) g) p q (p q r) 21) Encontrar uma valoração que satisfaça as fórmulas: a) (p q) ^ (~p ~q) b ) (p q) p 22) Do ponto de vista lógico, a afirmação da proposição na eleição para prefeitura, o candidato A será eleito ou não será eleito caracteriza: a) Um silogismo b) Uma tautologia c) Uma equivalência d) Uma contingência e) Uma contradição. 23) Um exemplo de tautologia é: a) Se João é alto, então João é alto ou Guilherme é gordo. b) Se João é alto, então João é alto e Guilherme é gordo c) Se João é alto ou Guilherme é gordo, então Guilherme é gordo. d) Se João é alto ou Guilherme é gordo, então João é alto e Guilherme é gordo. e) Se João é alto ou não é alto, então Guilherme é gordo. 24) Assinale V ou F e justifique: ( ) Se (E G) e (G H) são tautologias, então (E H) é tautologia. ( ) ~(E G) é tautologia se e somente se E e ~G são tautologias. ( ) p q => p ( ) H é satisfatível => H é tautologia 25) Mostrar que p ~q não implica p q. 26) Provar ou refutar as seguintes implicações lógicas, usando tabelas verdade: a) ~q ~p => p q b) (~p ~q) => (p q) 27) Há 3 tipos suspeitos de um crime: O cozinheiro, a governanta e o mordomo. Sabe-se que o crime foi efetivamente cometido por um ou mais de um deles, já que podem ter agido individualmente ou não. Sabe-se ainda que: A.) Se o cozinheiro é inocente, então a governanta é culpada;

B.) Ou o mordomo é culpado ou a governanta é culpada; C.) O mordomo não é inocente. Logo: A.( ) A governanta e o mordomo são culpados B.( ) O cozinheiro e o mordomo são culpados C.( ) Somente a governanta é culpada D.( ) Somente o cozinheiro é inocente E. ( ) Somente o mordomo é culpado 28) Uma florista está arranjando 8 flores (A, B, C, F, G, J, K e L) em 8 vasos colocados como mostrado abaixo: Sabe-se o seguinte sobre o arranjo de flores: A, B e C são lírios; F e G são margaridas; J, K e L são rosas; apenas uma flor deve ser colocada em cada vaso; lírios devem ser colocados em vasos vizinhos; rosas devem colocadas em vasos vizinhos; nenhum lírio pode ser colocado em vaso vizinho a um vaso de rosa; a flor F deve ser colocada no vaso 5; a flor A deve ser colocada no vaso 2; se F for colocada em vaso vizinho a J, então o outro vaso vizinho de F não pode conter C. Qual flor pode ser colocada no vaso 3? a) L b) K c) J d) G e) C Se L for colocada no vaso 8, e K for colocada em vaso vizinho ao vaso de L, qual das seguintes afirmações é necessariamente verdadeira? a) A é colocada no vaso vizinho ao vaso de B b) B é colocada no vaso vizinho ao vaso de G c) G está no vaso diametralmente oposto ao vaso de J d) J está no vaso diametralmente oposto ao vaso de A e) L está no vaso diametralmente oposto ao vaso de A 29) Três homens estão em fila de forma que o último pode ver os dois da frente, o que está no meio pode ver o primeiro e o primeiro não pode ver nenhum. Por outro lado, temos três chapéus brancos e dois pretos que são repartidos entre os três ao acaso de forma que nenhum deles possa ver o seu. Pede-se-lhes que adivinhem de que cor é o seu chapéu, começando pelo de trás, para quem é mais fácil. Mas o último homem diz que não sabe de que cor é o seu. O que está no meio também não o sabe, mas neste momento o da frente dá a cor do seu e acerta sem possibilidade de erro... De que cor era? Justifique.