Raciocínio Lógico Quantitativo AULA 12
|
|
- Gustavo Nobre Cunha
- 7 Há anos
- Visualizações:
Transcrição
1 AULA EXERCÍCIOS GERAIS 1) Construa os argumentos utilizando lógica proposicional. Classifique como válido ou inválido justificando sua resposta. a) João precisa de dinheiro mas não quer baixar os preços de suas mercadorias. João baixa os preços ou não vai poder comprar os presentes de natal. Se João emprestar o dinheiro, então poderá comprar os presentes de natal. Logo, João precisa de dinheiro e não vai emprestar o dinheiro. p: João precisa de dinheiro q: João abaixa o preço de suas mercadorias r: João vai comprar presentes de natal s: João vai fazer um empréstimo de dinheiro 1. p ~ q 2. q ~ r 3. s r 4. p 1. Simp. 5. ~ q 1. Simp. 6. ~ r 2,5. SD 7. ~ s 3,6. MT 8. p ~ q 4,7. Conj. b) Se está chovendo ou está frio então não irei viajar. Se está sol então irei viajar. Está chovendo. Logo, não está sol. p: esta chovendo q: esta frio r: irei viajar s: esta sol (p q) ~ r, s r, p ~ s Logo, o argumento é válido 1. (p q) ~ r 2. s r 3. p. 4. p q 3: Adição 5. ~ r 1,4: MP 6. ~ s 2,5: MT 94
2 c) Se papai-noel existe então Maria está feliz. Maria não está feliz. Se não existe papai-noel ou Maria não tem dinheiro então ela está triste. Logo, Maria está triste. p: Papai noel existe q: Maria esta feliz r: Maria tem dinheiro p q, ~ q, (~ p ~ r) ~ q ~ q 1. p q 2. ~ q 3. (~ p ~ r) ~ q 4. ~ p 1,2: MT 5. ~ p ~ r 4: Adição 6. ~ q 3,5: MP Logo, o argumento é válido d) Se trabalho não posso estudar. Trabalho ou passo em Lógica. Trabalhei. Logo,passei em Lógica. p: Eu trabalho q: Eu posso estudar r: Passo em Lógica p ~q, p r, p r V ~ F V F V F V V V V O argumento não é válido, pois quando todas as premissas são verdadeiras a conclusão é falsa. e) Se tenho dinheiro vou ao futebol. Se tenho dinheiro, vou à praia. Não tenho dinheiro. Logo, ou não vou ao futebol ou não vou à praia. p: tenho dinheiro q: vou ao futebol r: vou a praia p q, p r, ~ p ~ q ~ r F V F V ~ F ~ V ~ V V V V F F F O argumento não é válido, pois quando todas as premissas são verdadeiras a conclusão é falsa. 95
3 f) Se o câmbio cair, temos inflação. Se as exportações crecerem, diminuimos o deficit. Ou o câmbio cai ou diminuimos o deficit. Logo, temos inflação ou as exportações crescem. p: o câmbio cair q: temos inflação r: as exportações crescem s: diminui o deficit p q, r s, p s q r F F F V F V F F V V V F O argumento não é válido, pois quando todas as premissas são verdadeiras a conclusão é falsa. g) Se vejo televisão aborreço-me. Se leio jornal desiludo-me. Se me aborreço ou me desiludo, fico nervoso. Eu nunca fico nervoso. Logo, se leio jornal não vejo televisão. p: vejo televisão q: me aborreço r: leio jornal s: me desiludo t: fico nervoso p q, r s, (q s) t, ~ t r ~ p 1. p q 2. r s 3. (q s) t 4. ~ t. 5. ~ ( q s) 3,4: MT 6. ~ q ~ s 5: De Morgan 7. ~ q 6: Simplificação 8. ~ p 1,7: MT 9. ~s ~ p 8. Adição 10. s ~ p 9. Condicional 11. r ~ p 2,10: SH Logo, o argumento é válido. 96
4 h) Se estudo não sou reprovado em lógica. Se não jogo sinuca, então estudo. Fui reprovado em Lógica. Logo, joguei sinuca. p: estudo q: reprovo em lógica s: jogo sinuca p ~ q, ~ s p,q s 1. p ~ q 2. ~ s p 3. q. 4. ~ p 1,3: MT 5. s 2,4: MT Logo, o argumento é válido 2) Se Frederico é francês, então Alberto não é alemão. Ou Alberto é alemão, ou Egídio é espanhol. Se Pedro não é português, então Frederico é francês. Ora, nem Egídio é espanhol nem Isaura é italiana. Logo: a) Pedro é português e Frederico é francês.s p b) Pedro é português e Alberto é alemão.s q c) Pedro não é português e Alberto é alemão.~ s q d) Egídio é espanhol ou Frederico é francês.r p e) Se Alberto é alemão, Frederico é francês.q p p: Frederico é francês q: Alberto é alemão r: Egídio é espanhol s: Pedro é português t: Isaura é italiana 1. p ~ q 2. q r 3. ~ s p 4. ~ r ~ t 5. ~ ( q r) 2. Disjunção exclusiva 6. ~ (( q r ) ( ~ q ~ r )) 5. Bicondicional 7. ~ (q r) ~ ( ~ q ~ r)) 6. De Morgan 8. ~ ( ~ q ~ r) 7. Simplificação 9. q r 8: De Morgan 10. ~ r 4: Simplificação 11. q 9,10: SH 12. ~ p 1,11: MT 13. s 3,12: MT 14. s q 11,13: Conjunção Resposta: Letra B 97
5 3) Se Luiz estuda História, então Pedro estuda Matemática. Se Helena estuda Filosofia, então Jorge estuda Medicina. Ora, Luis estuda História ou Helena estuda Filosofia. Logo, segue-se necessariamente que: a) Pedro estuda Matemática ou Jorge estuda Medicina.q s b) Pedro estuda Matemática e Jorge estuda Medicina. q s c) Se Luis não estuda História, então Jorge não estuda Medicina.~ p ~ s d) Helena estuda Filosofia e Pedro estuda Matematica.r q e) Pedro estuda Matemática ou Helena não estuda Filosofia.q ~ r p: Luiz estuda História q: Pedro estuda Matemática r: Helena estuda Filosofia s: Jorge estuda medicina Resposta: Letra A 1. p q 2. r s 3. p r 4. q s 1,2,3: DC 4) Se o jardim não é florido, então o gato mia. Se o jardim é florido, então o passarinho não canta. Ora, o passarinho canta. Logo: a) O jardim é florido e o gato mia.p q b) O jardim é florido e o gato não mia.p ~ q c) O jardim não é florido e o gato mia.~ p q d) O jardim não é florido e o gato não mia.~ p ~ q e) Se o passarinho canta, então o gato não mia.r ~ q p: o jardim é florido q: o gato mia r: o passarinho canta Resposta: Letra C 1. ~ p q 2. p ~ r 3. r. 4. ~ p 2,3: MT 5. q 1,4: MP 6. ~ p q 4,5: Conjunção 98
6 5) Se Maria não anda sozinha, então Pedro sabe costurar. Se Maria anda sozinha, então, Joana estuda ou Manoel trabalha. Se Manoel trabalha, Teresa faz ginástica. Mas Teresa faz ginástica se e somente se não for verdade que Ferdinando não tem uma câmera. Ora, Ferdinando não tem uma camera e Joana não estuda, Logo: a) Maria não anda sozinha e Manoel trabalha. ~ p s b) Joana não estuda e Manoel trabalha. ~ r s c) Ferdinando não tem uma camera e Teresa faz ginástica. ~ u t d) Pedro não sabe costurar e Maria anda sozinha. ~ q p e) Pedro sabe costurar e Manoel não trabalha. q ~ s p: Maria anda sozinha q: Pedro sabe costurar r: Joana estuda s: Manoel trabalha t: Teresa faz ginástica u: Ferdinando tem uma câmera Resposta: Letra e 1. ~ p q 2. p (r s) 3. s t 4. t ~ ~ u 5. ~ u ~ r. 6. (t u) (u t) 4. Bicondicional 7. (t u) 5. Simplificação 8. s u 3,7: SH 9. ~ u 5: Simplificação 10. ~ r 5: Simplificação 11. ~ s 8,9: MT 12. ~ r ~ s 10,11: Conjunção 13. ~(r s) 12: De Morgan 14. ~ p 2, 13: MT 15. q 1,14: MP 16. q ~ s 15, 11: Conjunção 99
7 6) Há três suspeitos de um crime: o cozinheiro, a governanta e o mordomo. Sabe-se que o crime foi efetivamente cometido por um ou por mais de um deles, já que podem ter agido individualmente ou não. Sabe-se, ainda, que: i. se o cozinheiro é inocente, então a governanta é culpada; ii. iii. Logo: ou o mordomo é culpado ou a governanta é culpada, mas não os dois; o mordomo não é inocente. a) a governanta e o mordomo são os culpados; q r b) somente o cozinheiro é inocente; p c) somente a governanta é culpada; q d) somente o mordomo é culpado; r e) o cozinheiro e o mordomo são os culpados. ~ p r p: o cozinheiro é inocente q: a gorvernandaé culpada r: o mordomo é culpado Resposta: Letra E 1. p q 2. r q 3. r. 4. ~ (r q) 2: Disjunção exclusiva 5. ~ ((r q) (~ r ~ q)) 4: Bicondicional 6. ~ (r q) ~(~ r ~ q) 5: De Morgan 7. ~ (r q) 6: Simplificação 8. ~ r ~ q 7: De Morgan 9. ~ q 3,8: SD 10. ~ p 1, 9: MT 11. ~p r 3,11: Conjunção 7) Uma pombinha que voava, ao ver passar um bando de pombas em revoada, assim exclamou: "Olá minhas 100 pombas!". Uma delas respondeu: "100 pombas não somos nós, mas nós, outras tantas de nós e mais o dobro de você, 100 pombas seremos nós". Quantas pombas passavam em revoada?49 8) Quando uma senhora saiu com um carrinho levando uma criança a fim de tomar o sol das primeiras horas da manhã, encontrou-se com uma velha conhecida que há muito tempo não via, que, ao cumprimentá-la, indagou: Qual é seu parentesco com esta linda criança? A resposta veio logo em seguida: Sua mãe é a filha única de minha mãe. Qual é, então, seu verdadeiro parentesco? mãe e filha 100
8 9) Na gaveta de meu guarda-roupas há seis pares de meias pretas e seis pares de azuis. A escuridão no quarto onde está o guarda roupas é total. Qual o número mínimo de meias que devem ser apanhadas para se ter certeza de que um par seja de meias de mesma cor? Três meias 10) O vaqueiro esta tocando as vacas numa estrada. Uma delas anda na frente de duas outras, uma anda entre duas e uma anda atrás de duas. Quantas vacas eram? Três vacas 11) Sabendo-se que seis raposas, em seis minutos, comem seis galinhas, pergunta-se: Quantas raposas, em sessenta minutos, comem sessenta galinhas?seis 101
RACIOCÍNIO LÓGICO. Lógica de Argumentação. Operadores Lógicos Parte 3. Prof. Renato Oliveira
RACIOCÍNIO LÓGICO Lógica de Argumentação. Parte 3. Prof. Renato Oliveira 1) Há três suspeitos de um crime: o cozinheiro, a governanta e o mordomo. Sabe-se que o crime foi efetivamente cometido por um ou
Leia maisUNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural. Lista de exercícios 1
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
Leia maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 4 - ABRIL DE 2018 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
Leia maisLógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César
Lógica Matemática UNIDADE II Professora: M. Sc. Juciara do Nascimento César 1 1 - Álgebra das Proposições 1.1 Propriedade da Conjunção Sejam p, q e r proposições simples quaisquer e sejam t e c proposições
Leia maisProf. João Giardulli. Unidade III LÓGICA
Prof. João Giardulli Unidade III LÓGICA Objetivo Apresentar os seguintes conceitos: argumento; verificação da validade. Argumento: Algumas definições (dicionário): 1. Raciocínio através do qual se tira
Leia maisLógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016
Lógica Proposicional Parte II e-mail: raquel@ic.uff.br 25 de outubro de 2016 Argumento Válido Um argumento simbólica como: pode ser ser representado em forma P 1 P 2 P 3 P n Q Onde P 1, P 2,,P n são proposições
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 maisUma proposição composta é uma contradição, se for sempre falsa, independentemente do valor lógico das proposições simples que a compõem.
Tautologia Uma proposição composta é uma tautologia, se for sempre verdadeira, independentemente do valor lógico das proposições simples que a compõem. Exemplos: Contradição Uma proposição composta é uma
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 maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
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 mais70 Tons de. Raciocínio. Lógico
70 Tons de Raciocínio Lógico BRDE 2015 Qual operação lógica descreve a tabela verdade da função Z abaixo cujo operandos são A e B? Considere que V significa Verdadeiro, e F, Falso. A B Z F F V F V V V
Leia maisLógica Proposicional (Consequência lógica / Dedução formal)
Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /
Leia maisAula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 04 Operações Lógicas sobre Proposições Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Tabela da Verdade; Operações Lógicas sobre Proposições; Revisando As proposições
Leia mais2. ENUMERAÇÃO POR RECURSO
7 2. ENUMERAÇÃO POR RECURSO Argumento É a relação que associa um conjunto de proposições p 1, p 2, p 3,... p n, chamadas premissas do argumento, a uma proposição C, a qual chamamos de conclusão do argumento.
Leia maisn. 11 Argumentos e Regras de Inferência
n. 11 Argumentos e Regras de Inferência A lógica formal lida com um tipo particular de argumento, denominado de argumento dedutivo, que nos permite deduzir uma conclusão Q, com base num conjunto de proposições
Leia maisUniversidade 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
Leia maisACLÉSIO MOREIRA RACIOCÍNIO LÓGICO
ACLÉSIO MOREIRA RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL 01. (IBFC 2016) A conjunção entre duas proposições compostas é verdadeira se: a) os valores lógicos de ambas as proposições forem falsos b) se o valor
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 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 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 maisRegras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Regras de Inferência Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Argumentos Válidos em Lógica Proposicional Considere o argumento: Se João pensa, então João existe.
Leia maisGabarito da Avaliação 3 de Lógica Computacional 1
Questões iguais em todas as provas: Gabarito da Avaliação 3 de Lógica Computacional 1 1. (5 pts) Utilize a Regra DC para mostrar que é válido o seguinte argumento: p q r, s ~r ~t, s u p u De acordo com
Leia mais01/02/2016 LÓGICA MATEMÁTICA. Conectivos lógicos e tabela verdade. Os conectivos lógicos são utilizados para formar novas preposições.
LÓGICA MATEMÁTICA Prof Esp Fabiano Taguchi fabianotaguchi@gmailcom http://fabianotaguchiwordpresscom Conectivos lógicos e tabela verdade CONECTIVOS LÓGICOS Os conectivos lógicos são utilizados para formar
Leia maisUnidade Curricular Matemática para Computação Prof. Angelo Gonçalves da Luz Lógica Formal
Unidade Curricular Matemática para Computação Prof. Angelo Gonçalves da Luz Lógica Formal Leitura obrigatória: GERSTING, J. A. Fundamentos Matemáticos para Ciência da Computação, 4. ed. Rio de Janeiro.
Leia maisExame Analítico Questão 1: Se não fumo, bebo. Se estou cansado, fumo. Se fumo, não estou cansado. Se não estou cansado, não bebo.
Exame Analítico 2009 Questão 1: Se não fumo, bebo. Se estou cansado, fumo. Se fumo, não estou cansado. Se não estou cansado, não bebo. Logo, a) Não fumo, estou cansado e não bebo. b) Fumo, estou cansado
Leia maisLógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 26 de Abril de 2017 Curso de Ciência da Computação Inferência Lógica Uma inferência lógica, ou, simplesmente uma inferência, é uma tautologia da forma
Leia maisLógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 20 de Março de 2018 Curso de Ciência da Computação Proposições e Conectivos Conceito de proposição Definição: Chama-se proposição a todo conjunto de
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 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 mais1. 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
Leia maisMatemática Discreta - 02
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 02 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisn. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL
n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL Para demonstrar a validade de um argumento podemos utilizar outro método, conhecido como Demonstração
Leia maisMAT I Solução dos Exercícios para os dias 20, 25 e 27/08/ Simbolize as sentenças a seguir, definindo as letras de proposição usadas.
MAT I 2004-2 Solução dos Exercícios para os dias 20, 25 e 27/08/04 1. Simbolize as sentenças a seguir, definindo as letras de proposição usadas. a. A B, onde A:= Alfredo gosta de dançar e B:= Alfredo gosta
Leia maisCEDERJ 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
Leia maisLógica Proposicional
Lógica Proposicional Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 55 Este material é preparado
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 proposicional: introdução,
Leia maisOFICINA DA PESQUISA APOSTILA 3 MATEMÁTICA COMPUTACIONAL. Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva
OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL APOSTILA 3 MATEMÁTICA COMPUTACIONAL Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva juliocesar@eloquium.com.br Alterações eventuais
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 maisLógica Matemática e Computacional. Proposições Simples e Compostas Exercícios
Lógica Matemática e Computacional Proposições Simples e Compostas Exercícios Sejam as proposições p e q, traduzir para a linguagem corrente as seguintes proposições: 1. p: Está frio e q: Está Chovendo.
Leia maisFundamentos da Computação 1. Carmen Cecilia Centeno
Fundamentos da Computação 1 Carmen Cecilia Centeno Aula 05 Sobre o curso de Ciência da Computação - lembretes. Plano de Ensino. Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças Definição
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 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 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 maisLÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia: Banco de dados e Sistemas para Internet Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL EXERCÍCIOS
Leia maisRepresentação de Conhecimento. Lógica Proposicional
Representação de Conhecimento Lógica Proposicional Representação de conhecimento O que éconhecimento? O que érepresentar? Representação mental de bola Representação mental de solidariedade Símbolo como
Leia maisMestrado em Finanças e Economia Empresarial
Data: 04/06/04 Prova de Seleção para Ingresso no Curso de Mestrado em Finanças e Economia Empresarial Turma 2004 EXAME ANALÍTICO EXAME ANALÍTICO Questão 1. Um homem reuniu-se com seus 12 irmãos no Natal.
Leia maisCURSO TROPA DE ELITE BATALHA FINAL AGENTE PENITENCIÁRIO/MG
CURSO TROPA DE ELITE BATALHA FINAL AGENTE PENITENCIÁRIO/MG RACIOCÍNIO LÓGICO (1ª Parte: Lógica Proposicional) (webercampos@gmail.com) 2012 Copyright. Curso Agora eu Passo - Todos os direitos reservados
Leia maisQuestões de Concursos Aula 03 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Questões de Concursos Aula 03 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Sabendo que os valores lógicos das proposições simples p e q são, respectivamente, a verdade e a falsidade,
Leia maisn. 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
n. 5 Implicações Lógicas A implicação lógica trata de um conjunto de afirmações, proposições simples ou compostas, cujo encadeamento lógico resultará em uma conclusão, a ser descoberta. Tal conclusão deverá
Leia maisLogica para computação
Logica para computação Lógica Informal: Argumentos l Um argumento é uma sequência de proposições na qual uma delas é a conclusão e as demais são premissas. As premissas justificam a conclusão. Exemplo
Leia maisFundamentos da Lógica I
Fundamentos da Lógica I O conceito mais elementar no estudo da lógica primeiro a ser visto é o de Proposição. Trata-se, tão somente, de uma sentença algo que será declarado por meio de palavras ou de símbolos
Leia maisLÓGICA E CONJUNTO. Professor: Adriano Sales
LÓGICA E CONJUNTO Professor: Adriano Sales LÓGICA Qual é o significado de argumentação? Segundo o dicionário Houaiss é: ARGUMENTAÇÃO: Arte, ato ou efeito de argumentar; Troca de palavras em controvérsia
Leia maisProfessor: Adriano Sales Matéria: Lógica e Conjunto
Professor: Adriano Sales Matéria: Lógica e Conjunto Lógica Qual é o significado de argumentação? Segundo o dicionário Houaiss é: ARGUMENTAÇÃO: Arte, ato ou efeito de argumentar; Troca de palavras em controvérsia
Leia maisFundamentos de Lógica Matemática
Webconferência 3-01/03/2012 Inferência Lógica Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Análise
Leia maisRaciocínio Lógico. Raciocínio Lógico. Sumário EDITORA APROVAÇÃO V Q (INCLUSIVA OU NÃO EX- 13. RELAÇÃO DE IMPLICAÇÃO TABELA VERDADE
Raciocínio Lógico Raciocínio Lógico Sumário 7. RELAÇÃO DE IMPLICAÇÃO TABELA VERDADE 7. RELAÇÕES ENTRE IMPLICAÇÕES PREPOSIÇÕES 8. RELAÇÃO DE EQUIVALÊNCIA CONECTIVOS LÓGICOS 8 EXERCÍCIOS E PRÁTICA PROPRIEDADE
Leia maisMATEMÁTICA DISCRETA LISTA DE EXERCÍCIOS 3
MATEMÁTICA DISCRETA LISTA DE EXERCÍCIOS 3 1. Construa tabelas-verdade para as expressões abaixo. Note quaisquer tautologias ou contradições. a) A (B A) b) A B B' A' c) (A B') (A B)' d) [(A B) C'] A' C
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 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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
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 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 maisLógica em Computação. .: Calculo Proposicional :. Prof. Luís Rodrigo
.: Calculo Proposicional :. Prof. Luís Rodrigo {} [/] Proposição e Conectivos Proposição Simples Uma proposição simples (ou enunciado, ou sentença), é uma declaração que exprime um pensamento com sentido
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 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 maisIntrodução à Lógica Proposicional Sintaxe e Semântica
Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe e Semântica SINTAXE E SEMÂNTICA Prof a Maria das Graças Marietto graca.marietto@ufabc.edu.br 2 LINGUAGEM SIMBÓLICA: COMPONENTES
Leia maisRacionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico
Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico Aplicar tabelas de verdade na validação de formas argumentativas Ficha técnica Autores: Professores de Filosofia do
Leia maisGrupo I ( traduções) Simboliza cada uma das proposições que se seguem. Não esquecer do dicionário. Grupo II ( tabelas) Grupo III ( inspetores)
Grupo I ( traduções) Simboliza cada uma das proposições que se seguem. Não esquecer do dicionário. a) O João vai à praia se e só se não tiver almoçado e fizer bom tempo b) Se os alunos jogam futebol no
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 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 maisRL- junho de 07 Prof. Aurimenes
RL- junho de 07 Prof. urimenes 0. onsidere as seguintes sentenças: I. Os gatos são pretos e os cachorros são brancos. II. Se todos os gatos são brancos, não há gatos na varanda. III. Não é verdade que
Leia maisRepresentação de Conhecimento
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Representação de Conhecimento Inteligência Artificial Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com
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 maisRACIOCÍNIO LÓGICO. Lógica de Argumentação. Operadores Lógicos Parte 4. Prof. Renato Oliveira
RACIOCÍNIO LÓGICO Lógica de Argumentação. Parte 4. Prof. Renato Oliveira 1) Se não durmo, bebo. Se estou furioso, durmo. Se durmo, não estou furioso. Se não estou furioso, não bebo. Logo, a) não durmo,
Leia maisQuestões de Concursos Aula 04 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Questões de Concursos Aula 04 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Julgue os itens a seguir: A seguinte argumentação é inválida. Premissa 1: Todo funcionário que sabe lidar
Leia maisTABELA VERDADE. por: André Aparecido da Silva. Disponível em:
TABELA VERDADE por: André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica Normalmente, as proposições são representadas por letras minúsculas (p, q, r, s, etc). São outros exemplos
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 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 maisCAPÍTULO 4 Cálculo proposicional
CÁLCULO PROPOSICIONAL 1. PROPOSIÇÕES Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas não ambas. As proposições podem ser divididas em proposições simples e compostas. 1.1.
Leia maisGABARITO PROVA B GABARITO PROVA A. Colégio Providência Avaliação por Área 3ª SÉRIE ENSINO MÉDIO
Colégio Providência Avaliação por Área Matemática e suas tecnologias 1ª ETAPA Data: 11/05/2015 3ª SÉRIE ENSINO MÉDIO GABARITO PROVA A GABARITO PROVA B A B C D 1 XXXX xxxxx xxxxx xxxxx 2 3 4 5 6 7 8 9 10
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 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 maisIntrodução a computação
Introdução a computação 0 Curso Superior de Tecnologia em Gestão da Tecnologia da Informação Coordenador: Emerson dos Santos Paduan Autor(a): Daniel Gomes Ferrari São Paulo - 2016 1 Sumário 1. Lógica Matemática...
Leia maisAULÃO INSS RACIOCÍNIO LÓGICO Prof. Ronilton Loyola Equivalências Notáveis 1. Contrapositiva da Condicional: (P Q) ( Q P) Ex.: Se faz sol, então vou à praia é equivalente a Se não vou à praia, então não
Leia maisLógica proposicional
Lógica proposicional Sintaxe Proposição: afirmação que pode ser verdadeira ou falsa Proposições podem ser expressas como fórmulas Fórmulas são construídas a partir de símbolos: De verdade: true (verdadeiro),
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 maisCASA TRIBUNAIS RACIOCÍNIO LÓGICO
CASA TRIBUNAIS RACIOCÍNIO LÓGICO Negação da conjunção e disjunção inclusiva (Lei de Morgan) / Negação da condicional / Negação da bicondicional e Disjunção Exclusiva Prof. Bruno Villar www.acasadoconcurseiro.com.br
Leia maisNÚCLEO PREPARATÓRIO PARA CONCURSOS CURSO DELEGADO FEDERAL
RACIOCÍNIO LÓGICO II Professor Ademir Bispo AULAS 3 e 4 PROPOSIÇÕES CONDICIONAIS As proposições condicionais relacionam causa com efeito ou hipótese com tese. p: O mês de maio tem 31 dias. q: O sol é uma
Leia mais2. Construa as tabelas verdade das seguintes proposições, indicando quaisquer tautologias ou contradições:
FACULDADE DE TECNOLOGIA SENAC PELOTAS Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Edécio Fernando Iepsen 1. Traduza para a linguagem natural as fórmulas abaixo,
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 maisCá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é tisemp@ifsc.edu.br 18 de maio de 2013
Leia maisHERÓI OU BANDIDO. RITA (O.S.) Pai é do orfanato. DAVI Estou indo, filha.
1 HERÓI OU BANDIDO FADE IN: INT. QUARTO DIA A imagem refletida no espelho é de um homem maduro, cabelos grisalhos, rugas profundas no rosto e de um olhar tranqüilo. Ele passa o pente nos cabelos e em seguida
Leia maisRACIOCÍNIO LÓGICO. Lógica de Argumentação. Operadores Lógicos Parte 2. Prof. Renato Oliveira
RACIOCÍNIO LÓGICO Lógica de Argumentação. Parte 2. Prof. Renato Oliveira 1) Se minha casa não é vermelha, então o meu cachorro late. Se minha casa é vermelha, então o passarinho não canta. Ora, o passarinho
Leia maisProf.ª Dr.ª Donizete Ritter. MÓDULO I PARTE 2: Lógica Proposicional
Bacharelado em Sistemas de Informação Disciplina: Lógica Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE 2: Lógica Proposicional 1 OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES Os conectivos lógicos são responsáveis
Leia maisI. Se Antônio canta bem, então Bruna não é atriz. VERDADEIRA. Carlos é dançarino ou Bruna não é atriz. FALSA
AULA 02 12. (ESCREVENTE TÉCNICO JUDICIÁRIO-TJ-SP-VUNESP 2018) Carlos tem apenas 3 irmãs, e essas 3 irmãs cursam o ensino superior. Supondo verdadeira a afirmação apresentada, é correto afirmar que a) Carlos
Leia maisMATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP
1 MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP 2009 02 2 CÁLCULO PROPOSICIONAL 1. Proposições Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas
Leia maisProposta de teste de avaliação
Proposta de teste de avaliação Matemática A 10. O ANO DE ESCOLARIDADE Duração: 90 minutos Data: Grupo I Na resposta aos itens deste grupo, selecione a opção correta. Escreva, na folha de respostas, o número
Leia maisUnidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência.
Unidade 1 Sentenças e Representação simbólica Unidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência. 1 Introdução e Conceitos Iniciais: Geralmente nos expressamos, em português,
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 maisArgumentação e lógica formal. O que é e para que serve a lógica
Argumentação e lógica formal O que é e para que serve a lógica Para resolver este exercício tivemos que: Pensar, raciocinar, isto é, a partir de certas evidências concluir outras. Para mostrar aos colegas
Leia mais