Raciocínio Lógico Quantitativo AULA 12

Tamanho: px
Começar a partir da página:

Download "Raciocínio Lógico Quantitativo AULA 12"

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. 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 mais

UNIVERSIDADE 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. 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 mais

LÓGICA EM COMPUTAÇÃO

LÓ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 mais

Ló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 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 mais

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

Prof. 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 mais

Lógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016

Ló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 mais

MATEMÁTICA Questões comentadas Daniela Arboite

MATEMÁ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 mais

Uma proposição composta é uma contradição, se for sempre falsa, independentemente do valor lógico das proposições simples que a compõem.

Uma 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 mais

RECEITA FEDERAL ANALISTA

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

Leia mais

LÓGICA EM COMPUTAÇÃO

LÓ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 mais

Fundamentos da Computação 1. Aula 03

Fundamentos 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 mais

70 Tons de. Raciocínio. Lógico

70 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 mais

Lógica Proposicional (Consequência lógica / Dedução formal)

Ló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 mais

Aula 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 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 mais

2. ENUMERAÇÃO POR RECURSO

2. 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 mais

n. 11 Argumentos e Regras de Inferência

n. 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 mais

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

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

Leia mais

ACLÉSIO MOREIRA RACIOCÍNIO LÓGICO

ACLÉ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 mais

Aprendendo. Raciocínio. Lógico

Aprendendo. 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 mais

QUESTÕES REVISÃO DE VÉSPERA FUNAI

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:

Leia mais

MATEMÁTICA E RACIOCÍNIO LÓGICO

MATEMÁ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 mais

Regras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março

Regras 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 mais

Gabarito da Avaliação 3 de Lógica Computacional 1

Gabarito 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 mais

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.

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. 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 mais

Unidade 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 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 mais

Exame 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 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 mais

Lógica e Matemática Discreta

Ló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 mais

Lógica e Matemática Discreta

Ló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 mais

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

Aula 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 mais

Matemática discreta e Lógica Matemática

Matemá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 mais

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

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

Leia mais

Matemática Discreta - 02

Matemá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 mais

n. 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 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 mais

MAT 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 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 mais

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

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

Leia mais

Lógica Proposicional

Ló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 mais

Matemática discreta e Lógica Matemática

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 proposicional: introdução,

Leia mais

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

OFICINA 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 mais

Filosofia (aula 10) Dimmy Chaar Prof. de Filosofia. SAE

Filosofia (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 mais

Ló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 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 mais

Fundamentos da Computação 1. Carmen Cecilia Centeno

Fundamentos 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 mais

Lógica Proposicional (cont.)

Ló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 mais

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

Ló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 mais

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 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 mais

LÓGICA PROPOSICIONAL

LÓ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 mais

Representação de Conhecimento. Lógica Proposicional

Representaçã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 mais

Mestrado em Finanças e Economia Empresarial

Mestrado 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 mais

CURSO TROPA DE ELITE BATALHA FINAL AGENTE PENITENCIÁRIO/MG

CURSO 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 mais

Questõ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 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 mais

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

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 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 mais

Logica para computação

Logica 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 mais

Fundamentos da Lógica I

Fundamentos 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 mais

LÓGICA E CONJUNTO. Professor: Adriano Sales

LÓ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 mais

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

Professor: 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 mais

Fundamentos de Lógica Matemática

Fundamentos 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 mais

Raciocí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 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 mais

MATEMÁTICA DISCRETA LISTA DE EXERCÍCIOS 3

MATEMÁ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 mais

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

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

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

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

Leia mais

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

Ló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 mais

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 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 mais

Lógica em Computação. .: Calculo Proposicional :. Prof. Luís Rodrigo

Ló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 mais

Matemática discreta e Lógica Matemática

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

Leia mais

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

LISTA 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 mais

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

Introduçã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 mais

Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico

Racionalidade 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 mais

Grupo 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. 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 mais

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

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

Leia mais

Raciocínio Lógico. Matemático. Lógica Proposicional

Raciocí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 mais

RL- junho de 07 Prof. Aurimenes

RL- 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 mais

Representação de Conhecimento

Representaçã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 mais

Raciocí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 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 mais

RACIOCÍ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. 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 mais

Questõ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 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 mais

TABELA VERDADE. por: André Aparecido da Silva. Disponível em:

TABELA 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 mais

LÓGICA PROPOSICIONAL

LÓ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 mais

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

Nã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 mais

CAPÍTULO 4 Cálculo proposicional

CAPÍ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 mais

GABARITO PROVA B GABARITO PROVA A. Colégio Providência Avaliação por Área 3ª SÉRIE ENSINO MÉDIO

GABARITO 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 mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

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

Leia mais

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

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.

Leia mais

Introdução a computação

Introduçã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 mais

AULÃ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 mais

Lógica proposicional

Ló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 mais

Matemática. Lógica Proposicional. Professor Dudan

Matemá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 mais

CASA TRIBUNAIS RACIOCÍNIO LÓGICO

CASA 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 mais

NÚCLEO PREPARATÓRIO PARA CONCURSOS CURSO DELEGADO FEDERAL

NÚ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 mais

2. Construa as tabelas verdade das seguintes proposições, indicando quaisquer tautologias ou contradições:

2. 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 mais

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL

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

Leia mais

Cálculo de Predicados

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é tisemp@ifsc.edu.br 18 de maio de 2013

Leia mais

HERÓI OU BANDIDO. RITA (O.S.) Pai é do orfanato. DAVI Estou indo, filha.

HERÓ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 mais

RACIOCÍ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. 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 mais

Prof.ª Dr.ª Donizete Ritter. MÓDULO I PARTE 2: Lógica Proposicional

Prof.ª 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 mais

I. Se Antônio canta bem, então Bruna não é atriz. VERDADEIRA. Carlos é dançarino ou Bruna não é atriz. FALSA

I. 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 mais

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

MATEMÁ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 mais

Proposta de teste de avaliação

Proposta 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 mais

Unidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência.

Unidade 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 mais

LÓGICA PROPOSICIONAL

LÓ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 mais

Argumentaçã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 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