LÓGICA MATEMÁTICA PARA CONCURSO

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

Download "LÓGICA MATEMÁTICA PARA CONCURSO"

Transcrição

1 LÓGICA MATEMÁTICA PARA CONCURSO Acesse: Prof. Luismar Leão Souto sites.google.com/site/leaosouto 2018

2 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 1 Sumário RACIOCÍNIO LÓGICO... 2 INTRODUÇÃO A LÓGICA PROPOSICIONAL... 2 PROPOSIÇÃO SIMPLES OU COMPOSTA... 2 CONECTIVOS LÓGICOS... 3 INTRODUÇÃO AO CÁLCULO PROPOSICIONAL... 3 TABELA VERDADE... 4 CONTINGÊNCIA OU INDETERMINAÇÃO... 5 TAUTOLOGIA E CONTRADIÇÃO... 6 EQUIVALÊNCIA LÓGICA... 6 NEGAÇÕES DAS TABELAS-VERDADE... 8 LÓGICA DE ARGUMENTAÇÃO DIAGRAMA LÓGICO SENTENÇAS ABERTAS CONJUNTOS OPERAÇÕES COM CONJUNTOS PORCENTAGEM... 18

3 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 2 Raciocínio Lógico Introdução a Lógica Proposicional Como qualquer linguagem a Matemática utiliza os seus termos palavras ou símbolos e as suas proposições combinação de termos, de acordo com determinadas regras que constituem o que chamamos de sintaxe matemática. Princípios Fundamentais da Lógica Matemática - Princípio da não contradição Uma proposição não pode ser verdadeira e falsa ao mesmo tempo. - Principio do terceiro excluído Toda proposição ou é verdadeira ou é falsa, nunca um terceiro caso. As regras que determinam quais são as proposições que devem ser consideradas verdadeiras constituem a Lógica matemática. Valor Lógico em uma proposição Chamamos de valor lógico de uma preposição a verdadeira se a proposição é verdadeira e a falsidade se proposição for falsa. Notação: Usaremos aqui V para verdade e F para falsidade. Lembre-se que valem sempre os princípios da não contradição e terceiro excluído.. p: 2,971 é um número inteiro. q: Bagé é uma cidade gaúcha.. r: O número inteiro 64 é um cubo perfeita Note que o valor lógico das proposições q e r é verdade (V) e o valor lógico da proposição p é a falsidade (F). Proposição Simples ou Composta Definição de Proposição simples Diz-se que uma proposição é uma proposição simples (ou atômica) se esta não possui nenhuma proposição como parte integrante de si mesma. Exemplos:. p: 8 é a raiz quadrada positiva de 64. q: 2 10 = 1024 Os valores lógicos das proposições p e q são ambos V. Definição de Proposição Composta Diz-se que uma proposição é uma proposição composta (ou molecular) se esta é uma combinação de duas ou mais proposições simples, para estas combinações são utilizados os conectivos lógicos (veja a tabela pág. 1). Uma proposição composta P que é obtida por meio de combinação das proposições simples p, q, r,... será denotada por: P(p, q, r,...). Exemplos: P: Joaquim e português e Hans é alemão. p q Q: Pássaros voam ou cobras rastejam. r s Os valores lógicos das proposições acima são todos verdadeiros O que não é proposição: Não são proposições frases que não se pode atribuir valores lógicos (V ou F), como por exemplo: Qual o seu nome? O filme é ótimo!

4 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 3 Conectivos Lógicos Definição: Chamamos de conectivos lógicos as palavras ou símbolos que são usadas para formas novas proposições a partir de outras proposições dadas. Os conectivos usuais da lógica matemática são os seguintes. Conectivo Símbolos Palavras Conjunção E Disjunção Ou Disjunção Exclusiva Ou...ou... Negação ~ou Não Condicional Se...então Bicondicional...se, e somente se... Introdução ao Cálculo Proposicional Negação de uma proposição A negação de uma proposição p, indicada por ~p ou ~p, lê-se não p. p ~p V F F V Exemplos: a) p: O cachorro é um animal. V ~p: O cachorro não é um animal. F b) q: 9 não é um número primo F ~q: 9 é um número primo V Note que ~(~p)=p c) r: Bagé não é uma cidade. F ~r: Bagé é uma cidade. V Note que no exemplo acima a negação de uma negação é uma afirmação. Exercícios: 1. Identifique as proposições e transforme as frases em linguagens simbólicas, conforme exemplo abaixo Exemplo: Marcos é alto e Carlos não é baixo. Solução: p: Marcos é alto q: Carlos é baixo ~q: Carlos não é baixo. em linguagem simbólica temos: p ~q a) Brasil é um país e Santa Catarina é um estado b) Juliana é dançarina ou Marcos é cantor c) Ou o Gol é Azul ou o gol é amarelo. d) Se Jader receber seu salário então ele pagará as contas e) 2+7=9 se, e somente se 15x3=45 f) Sempre que Pedro bebe, ele não dirige g) Se Lucio casar então, ou Mario se separa ou Joana fica viúva. h) Patrícia é atriz e Humberta é Cantora se, e só se, Wagner for produtor. 2. Negue as sentenças a seguir: a) Mônica é baiana. b) Yon não é um marciano. c) Luismar é Caçapavano. d) Fabiula foi à manicure. e) O político brasileiro é honesto.

5 Raciocínio Lógico Prof: Luismar Leão Souto Pág Sabendo-se que: p: Carla é professora q: Paulo é pedreiro r: Joana é prima de Paulo s: Gustavo é filho de Carla Transforme as linguagens simbólicas em linguagem corrente, conforme exemplo abaixo: Exemplo: p q Se Carla é professora então Paulo é pedreiro. a) ~p s b) ~s ~r c) ~s ~p d) s r Tabela Verdade Definição: Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em Lógica para determinar se uma fórmula é válida. As tabelas verdades são usadas para representar as regras usadas em lógica de uma forma bem transparente. Imagine a seguinte situação: Uma guria joga várias vezes uma mesma moeda para cima, e vai anotando os resultados, quantos resultados seriam possíveis se ela jogasse 2 vezes a mesma moeda? - Primeira possibilidade: 1ª jogada Cara, 2ª jogada Cara. - Segunda possibilidade: 1ª jogada Cara, 2ª jogada Coroa. - Terceira possibilidade: 1ª jogada Coroa, 2ª jogada Cara. - Quarta possibilidade: 1ª jogada Coroa, 2ª jogada Coroa. Poderíamos ainda reescrever o raciocínio acima em forma de tabela 1ª jogada 2ª Jogada Cara Cara Cara Coroa Coroa Cara Coroa Coroa Agora vamos transformar isso em proposições, suponha p a 1ª jogada e q a 2ª jogada, suponha também que Cara equivalha a verdade e Coroa a falsidade, logo teríamos a seguinte tabela: p q V V V F F V F F A quantidade de possibilidades (linhas em uma tabela verdade) é dada pela seguinte fórmula: 2 n, onde n é o número de proposições. Quantidade de proposições Quantidade de Possibilidades n 2 n

6 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 5 Acompanhe a seguir as regras de acordo com os conectivos. 1.Tabela verdade da "negação" : ~p é verdadeira (falsa) se e somente se p é falsa (verdadeira). P ~p V F F V 2. Tabela verdade da "conjunção": a conjunção é verdadeira somente quando as proposições são verdadeiras. Conjunção p q p q V V V V F F F V F F F F 3. Tabela verdade da "disjunção": a disjunção é falsa somente quando as proposições são falsas, ou para que a proposição composta seja verdadeira basta que pelo menos uma das simples seja verdadeira. Disjunção p q p q V V V V F V F V V F F F Com base nas tabelas cima completa a tabela abaixo: 4. Tabela verdade da "disjunção exclusiva": a disjunção exclusiva é verdadeira somente quando uma proposição é falsa e outra verdadeira. Disj.Exclusiva p q p q V V F V F V F V V F F F 5. Tabela verdade da condicional: a implicação é falsa se, e somente se, o antecedente é verdadeiro e o consequente é falso. Condicional p q p q V V V V F F F V V F F V 6. Tabela verdade da bicondicional: a bicondicional é verdadeira se, e somente se seus componentes são ou ambos verdadeiros ou ambos falsos Bicondicional p q p q V V V V F F F V F F F V p q r ~q p ~q q r (p ~q) (q r) Contingência ou Indeterminação Obs. A tabela acima resultou em uma contingência ou indeterminação, isto é, os valores lógicos encontrados no resultado final (última coluna) não são homogêneos (iguais), pois temos Verdades e Falsidades.

7 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 6 Tautologia e Contradição Tautologia Uma proposição composta é uma tautologia se tem todos os valores lógicos V como resultado. Exemplo: a) p ~p p ~p p ~p V F V F V V b) (p ~p) (q p) P q ~p p ~p (q p) (p ~p) ( (q p) V V F F V V V F F F V V F V V F V V F F V F F V Contradição Uma proposição composta é uma tautologia se tem todos os valores lógicos F como resultado. Exemplo: a) p ~p [ p ~p p ~p V F F F V F b) (p ~q) (~p q) p Q ~p ~q p ~q (~p q) (p ~q) (~p q) V V F F F V F V F F V V F F F V V F F V F F F V V F V F Equivalência Lógica Definição: Diz-se que as proposições p e q são logicamente equivalentes, e escreve-se p q, quando p e q têm a mesma tabela-verdade. Exemplos. ~ (p q) ~ p ~ q. ~ (p q) ~ p ~ q Antes de continuarmos vamos rever as tabelas-verdade: Conjunção Disjunção Disj.Exclusiva Condicional Bicondicional p q p q p q p q P q p q p q p q p q p q V V V V V V V V F V V V V V V V F F V F V V F V V F F V F F F V F F V V F V V F V V F V F F F F F F F F F F F F V F F V Agora veja as equivalências abaixo, elas serão provadas por tabela verdade a seguir. p q q p p q q p p q q p p q ~q ~p (Contra positiva) p q ~p q p q q p

8 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 7 Note que as colunas sombreadas são iguais, provando que as equivalências são válidas. Vamos provar que p q q p p q q p p q p q p q q p V V V V V V V F F V F F F V F F V F F F F F F F p q q p p q p q p q q p V V V V V V V F V V F V F V V F V V F F F F F F p q q p p q p q p q q p V V F V V F V F V V F V F V V F V V F F F F F F p q ~q ~p p q p q p q ~q ~p ~q ~p V V V V V F F V V F F V F V F F F V V F V F V V F F V F F V V V p q q p p q p q p q q p V V V V V V V F F V F F F V F F V F F F V F F V Exercícios: 3. Encontre as equivalências lógicas e reescreva-as em forma de texto. Exemplo: p q ~q ~p Se Paulo não é pedreiro então Carla não é professora a) ~p s b) ~s ~r c) ~s ~p

9 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 8 Negações das tabelas-verdade A negação de uma regra pode aparecer de diversas formas, por exemplo: Dizer que: Não é verdade que se Carlos trabalhar até tarde então não se encontrará com seus amigos. É o mesmo que: Carlos trabalhou até tarde e não se encontrou com seus amigos. Isso é possível, pois temos as seguintes regras de negação. ~(p q) ~p ~q ~(p q) p ~q ~(p q) ~p ~q ~(p q) ~p q p ~q p q ~(p q) p ~q ~(p q) (p ~q) (q ~p) p q Faça as tabelas verdades de ambos os lados e compare-as para verificar as equivalências acima, como foi feito anteriormente. No caso do exemplo anterior veja. p: Carlos trabalhar até tarde. q: Carlos se encontrará com seus amigos Na primeira frase temos: Em simbologia Em linguagem corrente ~(p q) Não é verdade que se Carlos trabalhar até tarde então não se encontrará com seus amigos. Na segunda frase temos: Em simbologia Em linguagem corrente p ~q Carlos trabalhou até tarde e não se encontrou com seus amigos. Exercício: 4. Negue todas as proposições abaixo, e reescreva-as em linguagem corrente. Exemplo: ~(p q) p ~q Carla é professora e Paulo não é pedreiro a) ~s ~p b) s r c) r ~p d) ~s q Agora que já sabemos a regrais mais simples vamos ver algumas questões aplicadas em concursos públicos.

10 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 9 Questão 01. No final de semana, Chiquita não foi ao parque. Ora, sabe-se que sempre que Didi estuda, Didi é aprovado. Sabe-se, também, que, nos finais de semana, ou Dadá vai à missa ou vai visitar tia Célia. Sempre que Dadá vai visitar tia Célia, Chiquita vai ao parque, e sempre que Dadá vai à missa, Didi estuda. Então, no final de semana. a) Dadá foi à missa e Didi foi aprovado. b) Didi não foi aprovado e Dadá não foi visitar tia Célia. c) Didi não estudou e Didi foi aprovado. d) Didi estudou e Chiquita foi ao parque. e) Dadá não foi à missa e Didi não foi aprovado. Solução: - Primeiro devemos encontrar as proposições: p: Chiquita foi ao parque. ~p: Chiquita não foi ao parque. q: Didi estuda. r: Didi é aprovado. s: Dadá vai a missa. ~s: Dadá vai visitar tia Célia. - Agora vamos reler o texto e transformá-lo em simbologia. ~p Chiquita não foi ao parque q r Sempre que Didi estuda, Didi é aprovado s ~s Ou Dada vai a missa ou vai visitar tia célia ~s p Sempre que Dadá vai visitar tia Célia, Chiquita vai ao parque s q Sempre que Dadá vai a missa, Didi estuda - Sendo que todas as linhas devem ter Verdadeiro como valor lógico, já que a questão toda é uma afirmação, isto é devemos ter uma tautologia, sabendo-se isso a questão acima foi resolvida em passos, que foram numerados, observe. Passo 1: ~p é V pois está sozinho q como cada linha é verdadeira, segue de imediato que ~p é verdade. Passo 2: como ~p é V seque que p é F, logo pela tabela verdade segue que em ~s p, teríamos duas possibilidades: ~s p ~s p V F F F F V Note que como queremos a verdade, a única possibilidade é que ~s seja F e daí temos que s é V. Passo 3: Se s é V temos em s q: s Q s q V V V V F F Analogamente ao passo dois temos que q é V. Passo 4: Como o mesmo raciocínio do passo três chegasse que r é V em q r. Logo a resposta correta é a alternativa a. Exercícios: 5. (AFC/CGU 2003/2004 ESAF) Ana é prima de Bia, ou Carlos é filho de Pedro. Se Jorge é irmão de Maria, então Breno não é neto de Beto. Se Carlos é filho de Pedro, então Breno é neto de Beto. Ora, Jorge é irmão de Maria. Logo: a) Carlos é filho de Pedro ou Breno é neto de Beto. b) Breno é neto de Beto e Ana é prima de Bia. c) Ana não é prima de Bia e Carlos é filho de Pedro. d) Jorge é irmão de Maria e Breno é neto de Beto. e) Ana é prima de Bia e Carlos não é filho de Pedro. 6. Uma sentença logicamente equivalente a Se Ana é bela, então Carina é feia é: a) Se Ana não é bela, então Carina não é feia. b) Ana é bela ou Carina não é feia. c) Se Carina é feia, Ana é bela. d) Ana é bela ou Carina é feia. e) Se Carina não é feia, então Ana não é bela.

11 Raciocínio Lógico Prof: Luismar Leão Souto Pág X e Y são números tais que: Se X 4, então Y>7. Sendo assim: a) Se X 4, então Y < 7. b) Se Y 7, então X > 4. c) Se Y > 7, então X 4. d) Se Y < 7, então X 4. e) Se X < 4, então Y A negação de Ana ou Pedro vão ao cinema e Maria fica em casa é: a) Ana e Pedro não vão ao cinema ou Maria fica em casa. b) Ana ou Pedro não vão ao cinema e Maria não fica em casa. c) Ana e Pedro não vão ao cinema ou Maria não fica em casa. d) Ana ou Pedro vão ao cinema ou Maria não fica em casa. e) Ana e Pedro não vão ao cinema e Maria fica em casa. Em algumas literaturas temos que: p é chamada de condição suficiente e que q é chamada de condição necessária em p q. 9. Sabe-se que Beto beber é condição necessária para Carmem cantar e condição suficiente para Denise dançar. Sabe-se, também, que Denise dançar é condição necessária e suficiente para Ana chorar. Assim, quando Carmem canta, a) Beto não bebe ou Ana não chora. b) Denise dança e Beto não bebe. c) Denise não dança ou Ana não chora. d) nem Beto bebe nem Denise dança. e) Beto bebe e Ana chora. Lógica de argumentação Um argumento é uma sequência de afirmações correlacionadas a fim de estabelecer uma proposição definida. Há vários tipos de argumentos, aqui estamos interessados nos dedutivos. Argumentos dedutivos possuem três etapas: premissa, interferência e conclusão. - Premissas: Significa a proposição, o conteúdo, às informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão. Em lógica a premissa significa cada uma das proposições de um silogismo (dedução feita a partir de duas premissas, de modo a originar uma terceira logicamente implicada, denominada conclusão). - Inferência: É a etapa onde conectamos duas premissas, desde que haja concordância entre estas. - Conclusão: É o resultado final do processo de inferência e só pode ser classificada como conclusão no contexto de um argumento em particular. A conclusão respalda-se nas premissas e é inferida a partir delas. Exemplo 1: Premissa 1: Todos os brasileiros trabalham. Premissa 2: Fabiano é brasileiro. Conclusão: Logo, Fabiano trabalha. Exemplo 2: A seguir está exemplificado um argumento válido, que pode ou não ser consciente. 1) Premissas: Todo evento tem uma causa. 2) Premissas: O universo teve um começo. 3) Premissa: Começar envolve um evento. 4) Inferência: Isso implica que o começo do universo envolveu um evento. 5) Inferência: Logo, o começo do universo teve uma causa. 6) Conclusão: O universo teve uma causa.

12 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 11 Exercícios: 1. Uma escola de arte oferece aulas de canto, dança, teatro, violão e piano. Todos os professores de cantos são também, professores de dança, mas nenhum professor de dança é professor de teatro. Todos os professores de violão são, também professor de piano. E alguns professores de piano são, também, professores de teatro. Sabese que nenhum professor de piano é professor de dança, e como as aulas de piano, violão e teatro não tem nenhum professor em comum, então: a) Nenhum professor de violão é professor de canto. b) Pelo menos um professor de violão é professor de teatro. c) Pelo menos um professor de cantos é professor de teatro. d) Todos os professores de piano são professores de cantos. e) Todos os professores de piano são professores de violão. 2. Um rico dono das terras está pensando em distribuir sete lotes de terra (numeradas de 1 a 7) entre seus cinco filhos: Pango, Pento, Pingo, Pongo e Pungo. Todos os setes lotes serão distribuídos, devendo, no entanto, obedecer às seguintes condições. I Cada lote será dado a um e somente a um filho. II Nenhum filho ganhará mais de três lotes. III Quem ganhar o lote 2 não poderá ganhar nenhum outro lote. IV Os lotes 3 e 4 devem ser dados a diferentes filhos. V Se Pango ganhar o lote 2, então Pengo ganhará o lote 4. VI Pungo ganhará o lote 6, mas não poderá ganhar o lote 3. Se Pingo e Pongo não ganharem lote algum, atendidas todas as condições, então necessariamente. a) Apenas Pango ganhará três lotes. b) Apenas Pengo ganhará três lotes. c) Apenas Pungo ganhará três lotes. d) Ambos, Pango e Pengo, ganharão três lotes de cada um. e) Ambos, Pango e Pungo, ganharão três lotes de cada um. 3. Cinco aldeões foram levados à presença de um velho rei, acusados de haver roubado laranjas do pomar real. Abelim, o primeiro a falar, falou tão baixo que o rei que era um pouco surdo não ouviu o que ele disse. Os outros quatro acusados disseram: Bebelim: "Cebelim é inocente". Cebelim: "Dedelim é inocente". Dedelim: "Ebelim é culpado". Ebelim: "Abelim é culpado". O mago Merlim, que vira o roubo das laranjas e ouvira as declarações dos cinco acusados, disse então ao rei: "Majestade, apenas um dos cinco acusados é culpado e ele disse a verdade; os outros quatro são inocentes e todos os quatro mentiram". O velho rei, que, embora um pouco surdo, era muito sábio, logo concluiu corretamente que o culpado era: a) Abelim b) Bebelim c) Cebelim d) Dedelim e) Ebelim 4. Numa ilha há apenas dois tipos de pessoas: as que sempre falam a verdade e as que sempre mentem. Um explorador contrata um ilhéu chamado X para servir-lhe de intérprete. Ambos encontram outro ilhéu, chamado Y, e o explorador lhe pergunta se ele fala a verdade. Ele responde na sua língua e o intérprete diz: Ele disse que sim, mas ele pertence ao grupo dos mentirosos. Dessa situação é correto concluir que: a) Y fala a verdade. b) A resposta de Y foi "não". c) Ambos falam a verdade. d) Ambos mentem. e) X fala a verdade.

13 Raciocínio Lógico Prof: Luismar Leão Souto Pág Cinco amigas, Ana, Bia, Cati, Dida e Elisa, são tias ou irmãs de Zilda. As tias de Zilda sempre contam a verdade e as irmãs de Zilda sempre mentem. Ana diz que Bia é tia de Zilda. Bia diz que Cati é irmã de Zilda. Cati diz que Dida é irmã de Zilda. Dida diz que Bia e Elisa têm diferentes graus de parentesco com Zilda, isto é: se uma é tia, a outra é irmã. Elisa diz que Ana é tia de Zilda. Assim, o número de irmãs de Zilda nesse conjunto de cinco amigas é dado por: a) 1 b) 2 c) 3 d) 4 e) 5 6. Três amigos, Mário, Nilo e Oscar, juntamente com suas esposas, sentaram-se, lado a lado, à beira do cais, para apreciar o pôr do sol. Um deles é flamenguista, outro é palmeirense e outro, vascaíno. Sabe-se, também, que um é arquiteto, outro é biólogo e outro é cozinheiro. Nenhum deles sentou-se ao lado da esposa, e nenhuma pessoa sentou-se ao lado de outra do mesmo sexo. As esposas chamam-se, não necessariamente nesta ordem, Regina, Sandra e Tânia. O arquiteto sentou-se em um dos dois lugares do meio, ficando mais próximo de Regina do que de Oscar ou do que do flamenguista. O vascaíno está sentado em uma das pontas, e a esposa do cozinheiro está sentada à sua direita. Mário está sentado entre Tânia, que está à sua esquerda, e Sandra. As esposas de Nilo e de Oscar são, respectivamente: a) Regina e Sandra b) Tânia e Sandra c) Sandra e Tânia d) Regina e Tânia e) Tânia e Regina 7. Quatro amigos, André, Beto, Caio e Dênis, obtiveram os quatro primeiros lugares em um concurso de oratória julgado por uma comissão de três juízes. Ao comunicarem a classificação final, cada juiz anunciou duas colocações, sendo uma delas verdadeira e a outra falsa. Juiz 1: "André foi o primeiro; Beto foi o segundo". Juiz 2: "André foi o segundo; Dênis foi o terceiro". Juiz 3: "Caio foi o segundo; Dênis foi o quarto". Sabendo que não houve empates, o primeiro, o segundo, o terceiro e o quarto colocados foram, respectivamente: a) André, Caio, Beta, Dênis. b) Beta, André, Dênis, Caio. c) André, Caio, Dênis, Beta. d) Beta, André, Caio, Dênis. e) Caio, Beto, Dênis, André.

14 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 13 Diagrama lógico Chama-se argumento a afirmação de que um grupo de proposições iniciais redunda em outra proposição final, que será consequência das primeiras. Os argumentos a seguir solucionáveis por diagramas: Todo Algum Nenhum Um argumento válido tem obrigatoriamente a conclusão como consequência das premissas. Assim, quando um argumento é válido, a conjunção das premissas verdadeiras implica logicamente a conclusão. Exemplo: Considere o silogismo abaixo: 1. Todos os alunos do C.Es.A.R. são aprovados. 2. Algum aprovado é funcionário do INSS. Conclusão: Existem alunos do C.Es.A.R que são funcionários do INSS Alunos aprovados Alunos do Funcionário do INSS Alunos aprovados Alunos do Funcionário do INSS Diagrama 1 Diagrama 2 Nota-se que pelo diagrama 1 a conclusão é falsa e pelo diagrama 2 ela é verdadeira, porém para que a conclusão apresentada fosse verdadeira só poderíamos ter o diagrama 2, logo a conclusão é falsa. Podemos concluir tantopelo diagrama 1 quanto pelo diagrama 2 que: Existem funcionário do INSS que não são alunos de C.Es.A.R. Neste caso temos um silogismo. Um silogismo (do grego antigo συλλογισμός, "conexão de ideias", "raciocínio"; composto pelos termos σύν "com" e λογισμός "cálculo") é um termo filosófico com o qual Aristóteles designou a argumentação lógica perfeita, constituída de três proposições declarativas que se conectam de tal modo que a partir das duas primeiras, chamadas premissas, é possível deduzir uma conclusão. A teoria do silogismo foi exposta por Aristóteles em Analíticos anteriores. Veja os exemplos abaixo: Algum: São consideradas sinônimas de algum as expressões: existe(m), há pelo menos um ou qualquer outra similar. Nenhum: Pode ser utilizado como sinônimo a expressão: Todo... não... Todo: Pode ser utilizado como sinônimo de todo a expressão qualquer um ou outra similar. Existem elementos de A que estão em B. Existem elementos de B que estão em A Existem elementos que estão em A e não estão em B Existem elementos de B que não estão em A (FCC: TCE-SP 2010) Considere as seguintes afirmações: Nenhum elemento de A estão em B Nenhum elemento de B está em A Todo o elemento de B não está em A. Todos elementos de B está em A Existem elementos de A que não estão em B

15 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 14 I. Todo escriturário deve ter noções de Matemática. II. Alguns funcionários do Tribunal de Contas do Estado de São Paulo são escriturários. Se as duas afirmações são verdadeiras, então é correto afirmar que: a) Todo funcionário do Tribunal de Contas do Estado de São Paulo deve ter noções de Matemática. b) Se Joaquim tem noções de Matemática, então ele é escriturário. c) Se Joaquim é funcionário do Tribunal de Contas do Estado de São Paulo, então ele é escriturário. d) Se Joaquim é escriturário, então ele é funcionário do Tribunal de Contas do Estado de São Paulo. e) Alguns funcionários do Tribunal de Contas do Estado de São Paulo podem não ter noções de Matemática. Resposta: Letra E Diagrama de acordo com as premissas. Negação de Todo, algum e Nenhum: Negação de Algum: Para negar algum basta mostra que nenhum satisfaz a condição estabelecida. Negação Negação de Todos: Para negar todos basta mostrar alguém que não satisfaz a condição estabelecida. Negação Algum Nenhum Todos Algum não Negação Existem brasileiros que moram em Narnia. Negação Todos os brasileiros são corruptos. Negação: Nenhum brasileiro mora em Narnia. Negação: Algum brasileiro não é corrupto.

16 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 15 Sentenças Abertas Não contém informação suficiente para serem declaras como verdadeiras ou falsas. Exemplo e contraexemplo: Ela é professora na escola onde eu estudo. A sentença é aberta pois não sabemos quem é ela. No ano passado, ocorrerem x acidentes de trânsito no Brasil. A sentença é aberta pois não sabemos valor de x. 1+14=15 A sentença é fechada pois podemos notar que é verdadeira. x+1>3 A sentença é aberta pois não sabemos valor de x. Exercícios: (FCC-ICMS-SP 2006) Considere as seguintes frases: I. Ele foi o melhor Jogador do mundo em II. (x+y)/5 é um número inteiro. III. João da Silva foi secretário da Fazenda do Estado de São Paulo em É verdade que apenas: a) I e II são sentenças abertas. b) I e III são sentenças abertas. c) II e III são sentenças abertas. d) I é sentença aberta e) II é sentença aberta Note que no item I não sabemos em é ele, logo a sentença é aberta, também não sabemos quem são x e y no item dois, não temos como saber se o item dois é verdadeiro ou falso, logo o item II é aberto. O item três é uma sentença fechada, pois temos todas as informações necessárias. Resposta: alternativa A Conjuntos A Teoria dos Conjuntos, um dos temas de matemática que aparecem no Enem, foi formulada no fim do século XIX pelo matemático russo Georg Ferdinand Ludwig Philip Cantor. Conjuntos não podem ser definidos, mas entende-se por conjunto toda lista de objetos, símbolos que seja bem definida. Conceitos primitivos: - Conjunto; - Elemento; - Pertinência. Ao pensarmos em uma coleção de objetos, podemos associar a conjunto. Esses objetos da coleção são o que chamamos de elementos do conjunto. Se um elemento está presente em um conjunto, dizemos que o elemento pertence ( ) ao conjunto. Caso contrário, dizemos que ele não pertence. : Existe : Não Existe : Pertence : Não pertence : Está contido : Não está contido Contém Não Contém Símbolos: : Conjunto vazio Ou / :Talque Para todo (ou qualquer que seja) N Conjunto dos números naturais Z Conjunto dos números inteiros Q Conjunto dos números racionais R Conjunto dos números reais Q C = I Conjunto dos números irracionais.

17 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 16 Representações Um conjunto pode ser representado da seguinte maneira: Enumerando seus elementos entre chaves, separados por vírgulas; Exemplos: A = { 1, 0, 1} N = {0, 1, 2, 3, 4,...} Indicando, entre chaves, uma propriedade que caracterize cada um de seus elementos; Exemplos: A = x Z 2 < x < 2 N = x Z x 0 Por meio de uma figura fechada, dentro da qual podem-se escrever seus elementos. Diagrama de Venn-Euler. Conjuntos Iguais Os conjuntos A e B são iguais quando possuem os mesmos elementos. Representa-se A = B. Subconjuntos O conjunto A é subconjunto de B se todo elemento de A é elemento de B. Representa-se A B e A B(A está contido em B). Propriedades: Sendo A, B e C conjuntos quaisquer, tem-se: - A A - A - (A B e B A) A=B - (A B e B C)=>A C Conjunto das partes É o conjunto cujos elementos são os subconjuntos de A. É representado por P(A). Propriedade: se o conjunto A possui n elementos, então P(A) possui 2n2n elementos, ou seja, o conjunto A possui 2 n subconjuntos. OPERAÇÕES COM CONJUNTOS União ( ) Intuitivamente, unir dois ou mais conjuntos significa agrupá-los com intuito de tornálos um só. Definição: Dados dois conjuntos A e B, representa-se e define-se o conjunto união de A e B por: A B= {x A ou x B} A = A (elemento neutro); - A A = A (recíproca) - A B=B A (comutativa) - A (B C)=(A B) C (associativa) Exemplos: Dados os conjuntos A = {0, 1, 2, 3, 4}, B = {1, 3, 5, 7} e C = {5, 6, 7, 8, 9}, vamos obter: a) A B. b) A B C. Solução: a) A B = {0, 1, 2, 3, 4, 5, 7} b) A B C = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}

18 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 17 Interseção Intuitivamente, um elemento faz parte da interseção de dois ou mais conjuntos, se ele pertence a todos esses conjuntos ao mesmo tempo. Definição: Dados dois conjuntos A e B, representa-se e define-se o conjunto interseção de A e B por: A B = {x x A e x B} Para três conjuntos arbitrários A, B e C, v alem as seguintes propriedades: - A = - A A = A (recíproca) - A B = B A (comutativa) - A (B C) = (A B) C (associativa) Exemplos: Dados os conjuntos A = {0, 1, 5}, B = {0, 2, 5, 7}, C = {4, 6, 7, 9} e D = {0, 1, 6}, vamos obter: a) A B. b) A C. c) A B D. Solução: a) A B = {0, 5} b) A C = Ø c) A B D = {0} Diferença entre conjuntos Dados dois conjuntos A e B, define-se o conjunto diferença A - B por: A B = {x x A e x B} Para a diferença entre conjuntos, valem as seguintes propriedades: A = A A = A A = Exemplo 1: Dados os conjuntos A = {1, 2, 3, 4, 5}, B = {2, 4, 6}, obtenha: a) A B. b) B A. Solução: a) A B = {1, 2, 3, 4, 5} {2, 4, 6} = {1, 3, 5} b) B A = {2, 4, 6} {1, 2, 3, 4, 5} = {6} Exemplo 2: Se A = {x natural, menor que 10 / x é par} e B = {x natural, menor que 10 / x é primo}. Determine A B e B A. Respostas: a) A B = {0, 4, 6, 8} b) B A = {3, 5, 7} Complementar de um conjunto Dados dois conjuntos A e V tais que A V, representa-se o complementar de A em relação a V como C V A ou A C ou A. Por definição, C V A = V A São válidas as seguintes propriedades: C V = (A B) = C V A C V B C V = (A B) = C V A C V B Exemplo: Dados os conjuntos X = {1, 2, 4}, Y = {1, 2, 3, 4, 5}, X Y. Obter C Y X. C Y X = Y X = {1, 2, 3, 4, 5} {1, 2, 4} = {3, 5}

19 Raciocínio Lógico Prof: Luismar Leão Souto Pág. 18 Exercício: Marque C para certo e E para errada. 1. Para o conjunto Ω = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, se A for um subconjunto de Ω, indique por S(A) a soma dos elementos de A e considere S(Ø) = 0. Nesse sentido, julgue o item a seguir. Se A e B forem subconjuntos de Ω, tais que A B, então 0 S(A) S(B) 55. ( ) Certo ( ) Errado Observe que se o conjunto A B, significa que todos os elementos de A estão em B, logo a soma dos elementos de A nunca será superior aos de B, portando S(A) S(B) e como a soma de todos os elementos de Ω é 55 temos que S(A) S(B) 55. Também pode-se observar que não há elementos negativos em Ω, portando 0 S(A) S(B) 55, isto é, a afirmação está correta. 2. (CESPE - PF 2014) A partir de uma amostra de candidatos a cargos em determinado concurso, verificou-se que 600 deles se inscreveram para o cargo A, 400 se inscreveram para o cargo B e 400, para cargos distintos de A e de B. Alguns que se inscreveram para o cargo A também se inscreveram para o cargo B. A respeito dessa situação hipotética, julgue o item a seguir. Menos de 180 candidatos se inscreveram no concurso para os cargos A e B. ( ) Certo ( ) Errado Observe a figura abaixo: Como 600 pessoas se inscreveram para o conjunto A e 400 pessoas para o conjunto B e x pessoas para os dois temos que: 600- x se inscreveram apenas em A, 400-x se inscreveram apenas em B, logo Somente em A Somente em B Em A e B Outros Total 600-x 400-x X x x + x = x+1400=1200 -x= x=-200 X(-1) x=200 Portanto a afirmação está errada. Porcentagem A palavra porcentagem ou percentagem vem do latim (per e cento) que significa por um cento. Reza a lenda que o símbolo % (por cento) foi usado pela primeira vez por um comerciante Inglês no século XVII para realizar os cálculos nas suas transações comerciais. Vejamos um exemplo do nosso cotidiano: a tabela abaixo mostra a evolução em reais dos amigos Emanuel e Ricardo nos anos de 2012 e Funcionários Salário em 2015 Salário em 2016 Aumento salarial Carlos Marcia Vamos calcular para cada um a razão entre o aumento salarial e o salário em Quem obteve o maior aumento salarial relativo? Uma das maneiras de compará-los consiste em expressá-lo com o mesmo denominador (100, por exemplo). Emanuel: 800 = 100 x = 118,75% ou seja o aumento foi de 18,75% 950 x 1 = 0,083 em percentual 8,3% Ricardo: Portanto, Carlos teve um aumento percentual maior do que Marcia. Transformação: x100 decimal % 100

Prof.ª Dr.ª Donizete Ritter. MÓDULO II_PARTE 1: Lógica de Argumentação

Prof.ª Dr.ª Donizete Ritter. MÓDULO II_PARTE 1: Lógica de Argumentação Bacharelado em Sistemas de Informação Disciplina: Lógica Prof.ª Dr.ª Donizete Ritter MÓDULO II_PARTE 1: Lógica de Argumentação 1 Origem Aristóteles - filósofo grego - 342 a.c, sistematizou os conhecimentos

Leia mais

RACIOCÍNIO LÓGICO. 03. Atente para a sucessão seguinte e determine o valor de x : 2; 10; 12; 16; 17; 18; 19; x. a) 100 b) 200 c) 300 d) 400 e) 500

RACIOCÍNIO LÓGICO. 03. Atente para a sucessão seguinte e determine o valor de x : 2; 10; 12; 16; 17; 18; 19; x. a) 100 b) 200 c) 300 d) 400 e) 500 RACIOCÍNIO LÓGICO 01. Qual o valor de x na sucessão: 1; 2; 6; 39; x? a) 1522 b) 1523 c) 1524 d) 1525 e) 1526 02. Considerando os onze primeiros elementos do conjunto dos números naturais foi escrita a

Leia mais

Raciocínio Lógico

Raciocínio Lógico Raciocínio Lógico 01. João reuniu-se com seus 12 irmãos na ceia de Natal. Das afirmações abaixo, referentes aos membros da mesma família reunidos, a única necessariamente verdadeira é: a) pelo menos uma

Leia mais

Por meio de uma figura fechada, dentro da qual podem-se escrever seus elementos. Diagrama de Venn-Euler.

Por meio de uma figura fechada, dentro da qual podem-se escrever seus elementos. Diagrama de Venn-Euler. REPRESENTAÇÕES Um conjunto pode ser representado da seguinte maneira: Enumerando seus elementos entre chaves, separados por vírgulas; Exemplos: A = { 1, 0, 1} N = {0, 1, 2, 3, 4,...} Indicando, entre chaves,

Leia mais

AULA 1 Frases, proposições e sentenças 3. AULA 2 Conectivos lógicos e tabelas-verdade 5. AULA 3 Negação de proposições 8

AULA 1 Frases, proposições e sentenças 3. AULA 2 Conectivos lógicos e tabelas-verdade 5. AULA 3 Negação de proposições 8 Índice AULA 1 Frases, proposições e sentenças 3 AULA 2 Conectivos lógicos e tabelas-verdade 5 AULA 3 Negação de proposições 8 AULA 4 Tautologia, contradição, contingência e equivalência 11 AULA 5 Argumentação

Leia mais

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

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja

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

Material Extra Aula 6 Raciocínio Lógico Prof. Edgar Abreu

Material Extra Aula 6 Raciocínio Lógico Prof. Edgar Abreu Auditor Fiscal Material Extra Aula 6 Raciocínio Lógico Prof. Edgar Abreu Raciocínio Lógico SILOGISMO Silogismo Categórico é uma forma de raciocínio lógico na qual há duas premissas e uma conclusão distinta

Leia mais

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

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por: LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,

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

PC Polícia Civil do Estado de São Paulo PAPILOSCOPISTA

PC Polícia Civil do Estado de São Paulo PAPILOSCOPISTA PC Polícia Civil do Estado de São Paulo PAPILOSCOPISTA Concurso Público 2016 Conteúdo Teoria dos conjuntos. Razão e proporção. Grandezas proporcionais. Porcentagem. Regras de três simples. Conjuntos numéricos

Leia mais

LÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q :

LÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q : LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q : ~ p 3) Proposição contra positiva de p q : ~ p ex. Determinar:

Leia mais

Campos Sales (CE),

Campos Sales (CE), UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:

Leia mais

Porém, não se aprende o Raciocínio Lógico sem se resolver o máximo de exercícios! Neste curso estaremos apresentando vários exercícios resolvidos.

Porém, não se aprende o Raciocínio Lógico sem se resolver o máximo de exercícios! Neste curso estaremos apresentando vários exercícios resolvidos. MÓDULO 0: ORIENTAÇÕES INICIAIS Olá, amigos! Apresenta0 lhes o Curso on line de RACIOCÍNIO LÓGICO! Antes de tratarmos acerca do conteúdo, uma breve palavra sobre a matéria. Do que se trata? Trata se de

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

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

Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo   11 de outubro de 2016 Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.

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

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

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam. CONCEITO DE PROPOSIÇÃO É todo conjunto de palavras ou símbolos que exprimem uma ideia de sentido completo e que, além disso, pode ser julgado como verdadeiro (V) ou falso (F). NÃO SÃO PROPOSIÇÕES Frases

Leia mais

Lógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2.

Lógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2. Lógica formal A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação I) Simbolização 1. Simples 2. Composta B)Leis do pensamento I) Princípio da Identidade II) Principio do não-contraditório

Leia mais

Matemática Computacional

Matemática Computacional Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:

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

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1 Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados

Leia mais

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

Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009 Noções de Lógica Matemática 2 a parte Argumentação em Matemática período 2009.2 Prof. Lenimar N. Andrade 1 de setembro de 2009 Sumário 1 Condicional 1 2 Bicondicional 2 3 Recíprocas e contrapositivas 2

Leia mais

Fundamentos de Matemática

Fundamentos de Matemática Fundamentos de Matemática Aula 1 Antonio Nascimento Plano de Ensino Conteúdos Teoria dos Conjuntos; Noções de Potenciação, Radiciação; Intervalos Numéricos; Fatoração, Equações e Inequações; Razão, Proporção,

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

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

Introdução a Teoria de Conjuntos

Introdução a Teoria de Conjuntos Aula 01 Introdução a Teoria de Conjuntos A Teoria dos Conjuntos foi criada e desenvolvida pelo Matemático russo George Cantor (1845-1918), trata-se do estudo das propriedades dos conjuntos, relações entre

Leia mais

Raciocínio Lógico Matemático. Pré Prova TST

Raciocínio Lógico Matemático. Pré Prova TST Raciocínio Lógico Matemático Pré Prova TST # DICA 1 # LEMBRAR-SE DOS CONJUNTOS NUMÉRICOS ELEMENTARES Números Naturais N = {0, 1, 2, 3, 4,... } Números Inteiros Z = {..., -4, -3, -2, -1, 0, 1, 2, 3,...

Leia mais

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

Lógica Matemática. Prof. Gerson Pastre de Oliveira Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;

Leia mais

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

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14 Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...

Leia mais

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

OBS.1: As palavras Se e então podem estar ocultas na. Proposição RACIOCÍNIO LÓGICO PRO. IGOR BRASIL 1) Proposição: Observação!!! Não são proposições 1. 2. 3. 4. 5. 6. 7. 2) Conectivos São utilizados em proposições.» O conectivo e é conhecido por, representado pelo símbolo

Leia mais

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

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças. NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo

Leia mais

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE 1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.

Leia mais

Cálculo proposicional

Cálculo proposicional O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais

Leia mais

Professor conteudista: Ricardo Holderegger

Professor conteudista: Ricardo Holderegger Lógica Professor conteudista: Ricardo Holderegger Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS...3 1.1 Proposições...3 1.1.1 Proposições lógicas...3 1.1.2 Símbolos da lógica matemática...4 1.1.3 A negação...4

Leia mais

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

Matemática Régis Cortes. Lógica matemática Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos

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

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

ALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo

ALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo Assembleia Legislativa do Estado de Sergipe ALESE Técnico Legislativo / Área Apoio Técnico Administrativo Volume I Edital Nº 01/2018 de Abertura de Inscrições JN071-A-2018 DADOS DA OBRA Título da obra:

Leia mais

Apresentação do curso

Apresentação do curso Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica

Leia mais

Raciocínio Lógico Parte 2 Prof. Dudan

Raciocínio Lógico Parte 2 Prof. Dudan Agente + Escrivão de Polícia Raciocínio Lógico Parte 2 Prof. Dudan Raciocínio Lógico 1. INTRODUÇÃO A RACIOCÍNIO LÓGICO A Lógica tem, por objeto de estudo, as leis gerais do pensamento e as formas de aplicar

Leia mais

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

Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César Lógica Matemática UNIDADE I Professora: M.Sc. Juciara do Nascimento César 1 A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento

Leia mais

Afirmações Matemáticas

Afirmações Matemáticas Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,

Leia mais

Coordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva

Coordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva @ LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q: ~ p 3) Proposição contra positiva de p q: ~ p ex. Determinar:

Leia mais

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

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,

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

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO

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

CAPÍTULO I. Lógica Proposicional

CAPÍTULO I. Lógica Proposicional Lógica Proposicional CAPÍTULO I Lógica Proposicional Sumário: 1. Lógica proposicional 2. Proposição 2.1. Negação da proposição 2.2. Dupla negação 2.3. Proposição simples e composta 3. Princípios 4. Classificação

Leia mais

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

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 2 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,

Leia mais

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

Lógica Matemática 1. Semana 7, 8 e 9. Material Previsto para três semanas Lógica Matemática 1 Semana 7, 8 e 9. Professor Luiz Claudio Pereira Departamento Acadêmico de Matemática Universidade Tecnológica Federal do Paraná Material Previsto para três semanas Implicação e equivalência

Leia mais

Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO

Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO RACIOCÍNIO LÓGICO AULA 01 LÓGICA PROPOSICIONAL DEFINIÇÃO A Lógica estuda o pensamento como ele deveria ser, sem a influência de erros ou falácias. As falácias em torno do raciocínio humano se devem a atalhos

Leia mais

Raciocínio Lógico (Professor Uendel)

Raciocínio Lógico (Professor Uendel) Raciocínio Lógico (Professor Uendel) Material (02); SEFAZ; JULHO DE 2017 (Álgebra das Proposições) PROPOSIÇÕES EQUIVALENTES P Q Lê se: P é LOGICAMENTE equivalent e a Q São proposições cujas tabelas-verdade

Leia mais

A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA

A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA MAT1513 - Laboratório de Matemática - Diurno Professor David Pires Dias - 2017 Texto sobre Lógica (de autoria da Professora Iole de Freitas Druck) A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA Iniciemos

Leia mais

Matemática & Raciocínio Lógico

Matemática & Raciocínio Lógico Matemática & Raciocínio Lógico para concursos Prof. Me. Jamur Silveira www.professorjamur.com.br facebook: Professor Jamur RACIOCÍNIO LÓGICO: Proposições logicamente equivalentes (Símbolo ) São proposições

Leia mais

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

Matéria: Raciocínio Lógico Concurso: Auditor Tributário ISS Gramado 2019 Professor: Alex Lira Concurso: Professor: Alex Lira Prova comentada: Auditor Tributário ISS GRAMADO 2019 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3 LISTA DE QUESTÕES...

Leia mais

MDI0001 Matemática Discreta Aula 01

MDI0001 Matemática Discreta Aula 01 MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina

Leia mais

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

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,

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

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

Simulado Aula 03 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto Simulado Aula 03 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Argumento é a afirmação de que uma sequência de proposições, denominadas premissas, acarreta outra proposição, denominada

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

Ao utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.

Ao utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico. CENTRO UNVERSITÁRIO UNA NOÇÕES DE RACIOCÍNIO LÓGICO Professor: Rodrigo Eustáquio Borges A disciplina Lógica Matemática tem como objetivo capacitar o aluno a reconhecer e aplicar os conceitos fundamentais

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

CONJUNTOS-REVISÃO UNIDADE SEMESTRE BLOCO TURMA

CONJUNTOS-REVISÃO UNIDADE SEMESTRE BLOCO TURMA CURSO CONJUNTOS-REVISÃO UNIDDE SEMESTRE BLOCO TURM DISCIPLIN ESTUDNTE PROFESSOR () GÊNESIS SORES RÚJO DT Responda com responsabilidade os questionários da avaliação institucional! LEMBRE-SE: avaliar com

Leia mais

4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico

4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico Registro CMI 40616 Aula Proposição 4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico Toda proposição é uma frase mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando

Leia mais

RACIOCÍNIO LÓGICO. Edição 2017

RACIOCÍNIO LÓGICO. Edição 2017 RACIOCÍNIO LÓGICO 86 EXERCÍCIOS POR ASSUNTOS RESOLVIDOS 33 QUESTÕES DE PROVAS DE CONCURSOS POR ASSUNTOS Edição 2017 TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material,

Leia mais

DISCIPLINA: MATEMÁTICA BÁSICA PROF. ELIONARDO ROCHELLY TEC. ALIMENTOS TEC. SISTEMAS INTERNET MATUTINO/VESPERTINO

DISCIPLINA: MATEMÁTICA BÁSICA PROF. ELIONARDO ROCHELLY TEC. ALIMENTOS TEC. SISTEMAS INTERNET MATUTINO/VESPERTINO DISCIPLINA: MATEMÁTICA BÁSICA PROF. ELIONARDO ROCHELLY TEC. ALIMENTOS TEC. SISTEMAS INTERNET MATUTINO/VESPERTINO Conjuntos A noção de conjunto em Matemática é praticamente a mesma utilizada na linguagem

Leia mais

RACIOCÍNIO LÓGICO TEORIA 86 EXERCÍCIOS POR ASSUNTOS RESOLVIDOS E QUESTÕES DE PROVAS DE CONCURSOS. Edição junho 2017

RACIOCÍNIO LÓGICO TEORIA 86 EXERCÍCIOS POR ASSUNTOS RESOLVIDOS E QUESTÕES DE PROVAS DE CONCURSOS. Edição junho 2017 RACIOCÍNIO LÓGICO TEORIA 86 EXERCÍCIOS POR ASSUNTOS RESOLVIDOS E QUESTÕES DE PROVAS DE CONCURSOS Edição junho 2017 TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por

Leia mais

Fundamentos de Lógica Lógica Proposicional

Fundamentos de Lógica Lógica Proposicional Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos

Leia mais

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014 Aula 1 Elementos de Lógica e Linguagem Matemática Prof. Rodrigo Hausen 24 de junho de 2014 Definição Uma proposição é uma sentença declarativa que é verdadeira ou falsa, mas não simultaneamente ambas.

Leia mais

PROPOSIÇÕES - VERDADEIRO

PROPOSIÇÕES - VERDADEIRO PROPOSIÇÕES Definição: Chama-se de proposição todo conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, declarativa (afirmativa) que admite um e somente um dos dois valores

Leia mais

Teoria dos Conjuntos. Prof. Jorge

Teoria dos Conjuntos. Prof. Jorge Teoria dos Conjuntos Conjuntos Conceitos iniciais Na teoria dos conjuntos, consideramos como primitivos os conceitos de elemento, pertinência e conjunto. Exemplos - Conjunto I. O conjunto dos alunos do

Leia mais

Lista 2 - Bases Matemáticas

Lista 2 - Bases Matemáticas Lista 2 - Bases Matemáticas (Última versão: 14/6/2017-21:00) Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo

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

Com relação a lógica sentencial, contagem e combinação, julgue os itens a seguir.

Com relação a lógica sentencial, contagem e combinação, julgue os itens a seguir. Considerando-se como V a proposição "Sem linguagem, não há acesso à realidade", conclui-se que a proposição "Se não há linguagem, então não há acesso à realidade" é também V. Certo Errado Com relação a

Leia mais

Introdução à Lógica Matemática

Introdução à Lógica Matemática Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira

Leia mais

Apresentação do curso

Apresentação do curso Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica 2 Conteúdo

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

Cálculo proposicional

Cálculo proposicional O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais

Leia mais

Aprendendo. Raciocínio. Lógico

Aprendendo. Raciocínio. Lógico Aprendendo Raciocínio Lógico Raciocínio Lógico Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos

Leia mais

RESUMO TEÓRICO PRIMEIRA AULA

RESUMO TEÓRICO PRIMEIRA AULA ESTRUTURAS, DIAGRAMAS E LÓGICA DE ARGUMENTAÇÃO TÓPICO 1 RESUMO TEÓRICO PRIMEIRA AULA Como qualquer linguagem, a Matemática utiliza os seus termos - palavras ou símbolos - e as suas proposições - combinações

Leia mais

Expandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019

Expandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019 Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA Expandindo o Vocabulário Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de junho de 2019

Leia mais

Raciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu.

Raciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu. Raciocínio Lógico Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico NEGAÇÃO DE UMA PROPOSIÇÃO COMPOSTA Agora vamos aprender

Leia mais

RACIOCÍNIO LÓGICO QUANTITATIVO PARA AFRFB PROFESSOR: GUILHERME NEVES

RACIOCÍNIO LÓGICO QUANTITATIVO PARA AFRFB PROFESSOR: GUILHERME NEVES Aula 1 Parte 2 Lógica de Argumentação... 2 Relação das questões comentadas nesta aula... 20 Gabaritos.... 23 Prof. Guilherme Neves www.pontodosconcursos.com.br 1 Lógica de Argumentação 01. (ANVISA 2010/CETRO)

Leia mais

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO

Leia mais

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

RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS 1 RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS 2 TIPOS DE PROPOSIÇÃO Simples ou Atômicas Oscar é prudente; Mário é engenheiro; Maria é morena. 3 TIPOS DE PROPOSIÇÃO Composta ou Molecular Walter é engenheiro E

Leia mais

MATEMÁTICA. Aula 2 Teoria dos Conjuntos. Prof. Anderson

MATEMÁTICA. Aula 2 Teoria dos Conjuntos. Prof. Anderson MATEMÁTICA Aula 2 Teoria dos Conjuntos Prof. Anderson CONCEITO Na teoria dos conjuntos, um conjunto é descrito como uma coleção de objetos bem definidos. Estes objetos são chamados de elementos ou membros

Leia mais

NHI Lógica Básica (Lógica Clássica de Primeira Ordem)

NHI Lógica Básica (Lógica Clássica de Primeira Ordem) NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático

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

Lógica Proposicional Parte 2

Lógica Proposicional Parte 2 Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas

Leia mais

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

Prof. João Giardulli. Unidade I LÓGICA Prof. João Giardulli Unidade I LÓGICA Introdução A primeira qualidade do estilo é a clareza. Aristóteles Introdução Aristóteles é considerado o precursor da lógica. Aristóteles (384-322 a.c.) Introdução

Leia mais

Lógica Proposicional

Lógica Proposicional Lógica Proposicional DIAGRAMAS LÓGICOS ü Todo Sinônimos: qualquer um ou outra similar. Representação: Conclusão: Todo A é B. Alguns elementos de B são A ou existem B que são A. Negação: Trocar TODO por

Leia mais

1 TEORIA DOS CONJUNTOS

1 TEORIA DOS CONJUNTOS 1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,

Leia mais

Tópicos de Matemática. Teoria elementar de conjuntos

Tópicos de Matemática. Teoria elementar de conjuntos Tópicos de Matemática Lic. em Ciências da Computação Teoria elementar de conjuntos Carla Mendes Dep. Matemática e Aplicações Universidade do Minho 2010/2011 Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática

Leia mais

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam. Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos

Leia mais

Diagrama de Venn O diagrama de Venn representa conjunto da seguinte maneira:

Diagrama de Venn O diagrama de Venn representa conjunto da seguinte maneira: Conjuntos Introdução Lembramos que conjunto, elemento e relação de pertinência são considerados conceitos primitivos, isto é, não aceitam definição. Intuitivamente, sabemos que conjunto é uma lista, coleção

Leia mais