1 / 43

QUANTIFICADORES LÓGICOS

QUANTIFICADORES LÓGICOS. São proposições categóricas que transformam sentenças abertas em proposições lógicas , pela quantificação das variáveis . Exemplo : P(x) = x + 3 > 5 não é proposição por ser sentença aberta . Quantificação : Existe x, x + 3 > 5, é verdadeira se

Download Presentation

QUANTIFICADORES LÓGICOS

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. QUANTIFICADORES LÓGICOS São proposições categóricas quetransformamsentençasabertasem proposições lógicas, pelaquantificação das variáveis. Exemplo: P(x) = x + 3 > 5 não é proposiçãopor ser sentençaaberta. Quantificação: Existe x, x + 3 > 5, é verdadeira se Para todo x, x + 3 > 5, é falsa se

  2. QUANTIFICADORES LÓGICOS Universal afirmativo: TODO A É B. Exemplo: Todopolicial é honesto. b) Existencialnegativo: ALGUM A NÃO É B. Exemplo: Algumpolicialnão é honesto. c) Existencialafirmativo: ALGUM A É B. Exemplo: Algumpolicial é honesto. d) Universal negativo: NENHUM A É B. Exemplo: Nenhumpolicial é honesto.

  3. QUANTIFICADOR UNIVERSAL AFIRMATIVOTODO A É B Utilizaremosdiagramas de conjuntos (diagramaslógicos) parajustificarmos a naturezalógica dos quantificadores. Todo A é B: Indicaquetodoelemento do conjunto A pertenceaoconjunto B. Forma lógica: Seráassociado à condicionallógica. DIAGRAMA LÓGICO A B

  4. EXEMPLO H Todopolicial é honesto. Forma: P

  5. QUANTIFICADOR EXISTENCIAL NEGATIVOALGUM A NÃO É B Algum A é não é B: Indicaquepelomenos um elemento de A não é elemento de B. É a negação do quantificador “todo A é B.” Forma lógica: DIAGRAMA LÓGICO A B

  6. EXEMPLO P H Algumpolicialnão é honesto. Forma: É a negação de “todopolicial é honesto”

  7. QUANTIFICADOR EXISTENCIAL AFIRMATIVO ALGUM A É B A Algum A é B: Indicaquepelomenos um elemento de A é elemento de B. Os conjuntos A e B possuempelomenos um elementocomum. Forma lógica: DIAGRAMA LÓGICO B

  8. EXEMPLO P H Algumpolicial é honesto. Forma:

  9. QUANTIFICADOR UNIVERSAL NEGATIVONENHUM A É B Nenhum A é B: Indicaqueosconjuntos A e B nãopossuemelementoscomuns, A e B sãodisjuntos. É a negação do quantificador “Algum A é B.” Forma lógica: DIAGRAMA LÓGICO A B

  10. QUADRO RESUMO A B A B A B

  11. EXEMPLOS Qual a negação de todapessoasaudávelpraticaesportes. Respostas: algumapessoasaudávelnãopraticaesportes. Pelomenosumapessoasaudávelnãopraticaesportes. Aomenosumapessoasaudávelnãopraticaesportes.

  12. EXEMPLOS 2) Qual a negação de todohomem é bommotorista. Resposta: algumhomemnão é bommotorista.

  13. EXEMPLOS 3) Qual a negação de todamulher é complicada. Resposta: Essa é a únicaproposiçãoquenão tem negação. Brincadeirinhameninas. Resposta: Algumamulhernão é complicada

  14. EXEMPLOS 4) Qual a negação de Algumengenheiro de software é médico Resposta: Nenhumengenheiro de software é médico. Obs: Algum A é B equivale a Algum B é A. (Comutativa)

  15. EXEMPLOS 4) Qual a negação de Nenhumapessoarica é feliz. Resposta: algumapessoarica é feliz. Obs: Nenhum A é B equivale a Nenhum B é A (comutativa)

  16. EXERCÍCIOS 14) (Esaf) Todos os alunos de matemática são, também, aluno de inglês, mas nenhum aluno de inglês é aluno de história. Todos os alunos de português são também alunos de informática, e alguns alunos de informática são também alunos de história. Como nenhum aluno de informática é aluno de inglês, e como nenhum aluno de português é aluno de história, então: pelo menos um aluno de português é aluno de inglês. Pelo menos um aluno de matemática é aluno de história. nenhum aluno de português é aluno de matemática. todos os alunos de informática são alunos de matemática. todos os alunos de informática são alunos de português.

  17. v Ing Hist mat Info Port 14) Resolução

  18. 15) (FCC/TRF) Algum A é B. Todo A é C. Logo (A) algum D é A. (B) todo B é C. (C) todo C é A. (D) todo B é A. (E) algum B é C.

  19. C B A Poderia ser assim?

  20. C B A Poderia ser assimtambém!

  21. 16) (FCC) Considerando "todo livro é instrutivo" uma proposição verdadeira, é correto inferir que "nenhum livro é instrutivo" é uma proposição necessariamente verdadeira. "algum livro não é instrutivo" é uma proposição verdadeira ou falsa. "algum livro é instrutivo" é uma proposição verdadeira ou falsa. "algum livro é instrutivo" é uma proposição necessariamente verdadeira. "algum livro não é instrutivo" é uma proposição necessariamente verdadeira.

  22. 17) (FCC/2011 - BB) Um jornal publicou a seguinte manchete: “Toda Agência do Banco do Brasil tem déficit de funcionários.” Diante de tal inverdade, o jornal se viu obrigado a retratar-se, publicando uma negação de tal manchete. Das sentenças seguintes, aquela que expressaria de maneira correta a negação da manchete publicada é: Qualquer Agência do Banco do Brasil não têm déficit de funcionários. Nenhuma Agência do Banco do Brasil tem déficit de funcionários. Alguma Agência do Banco do Brasil não tem déficit de funcionários. Existem Agências com deficit de funcionários que não pertencem ao Banco do Brasil. O quadro de funcionários do Banco do Brasil está completo.

  23. 18) (FCC) Se "Alguns poetas são nefelibatas" e "Todos os nefelibatas são melancólicos", então, necessariamente: (A) Todo melancólico é nefelibata. (B) Todo nefelibata é poeta. (C) Algum poeta é melancólico. (D) Nenhum melancólico é poeta. (E) Nenhum poeta não é melancólico.

  24. M N P Poderia ser assim?

  25. M N P Poderia ser assimtambém!

  26. 19) (Cespe) Pedro, candidato ao cargo de Escrivão de Polícia Federal, necessitando adquirir livros para se preparar para o concurso, utilizou um site de busca da Internet e pesquisou em uma livraria virtual, especializada nas áreas de direito, administração e economia, que vende livros nacionais e importados. Nessa livraria, alguns livros de direito e todos os de administração fazem parte dos produtos nacionais. Além disso, não há livro nacional disponível de capa dura. Com base nas informações acima, é possível que Pedro, em sua pesquisa, tenha encontrado um livro de administração de capa dura. Adquirido dessa livraria um livro de economia de capa flexível. Selecionado para compra um livro nacional de direito de capa dura. Comprado um livro importado de direito de capa flexível.

  27. Algunslivros de direito (D) sãonacionais(N). Todososlivros de administraçao(A) sãonacionais(N). Todolivronacional(N) é de capaflexível(F). F N D A

  28. Algunslivros de direito (D) sãonacionais(N). Todososlivros de administraçao(A) sãonacionais(N). Todolivronacional(N) é de capaflexível(F). F N D A

  29. 20) (Esaf) A negação da sentença “Nenhuma pessoa lenta em aprender freqüenta a escola” é “Todas as pessoas lentas em aprender freqüentam esta escola”. “Todas as pessoas lentas em aprender não freqüentam esta escola”. “Algumas pessoas lentas em aprender freqüentam esta escola”. “Algumas pessoas lentas em aprender não freqüentam esta escola”. “Nenhuma pessoa lenta em aprender freqüenta esta escola.”

  30. 21) (Esaf) A negação da proposição “Todos os homens são bons motoristas” é: “Todas as mulheres são boas motoristas” “algumas mulheres são boas motoristas”. “Nenhum homem é bom motorista”. “Todos os homens são maus motoristas”. “Ao menos um homem é mau motorista.”

  31. 22) (FCC/2010 – TCE/SP) Considere as seguintes afirmações: − Todo escriturário deve ter noções de Matemática. − 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: Todo funcionário do Tribunal de Contas do Estado de São Paulo deve ter noções de Matemática. Se Joaquim tem noções de Matemática, então ele é escriturário. Se Joaquim é funcionário do Tribunal de Contas do Estado de São Paulo, então ele é escriturário. Se Joaquim é escriturário, então ele é funcionário do Tribunal de Contas do Estado de São Paulo. Alguns funcionários do Tribunal de Contas do Estado de São Paulo podem não ter noções de Matemática.

  32. M Todoescriturário (E) tem noção de matemática(M) Algunsfuncionários(F) do TCE/SP sãoescriturários(E). E F

  33. M Todoescriturário (E) tem noção de matemática(M) Algunsfuncionários(F) do TCE/SP sãoescriturários(E). E F

  34. 23) (Esaf) Em uma comunidade todo trabalhador é responsável. Todo artista, se não for filósofo, ou é trabalhador ou é poeta. Ora, não há filósofo e não há poeta que não seja responsável. Portanto, tem-se que, necessariamente: Todo responsável é artista. Todo responsável é filósofo ou poeta. Todo artista é responsável. Algum filósofo é poeta. Algum trabalhador é filósofo.

  35. A F A Todo trabalhador(T) é responsável(R). Todo artista(A), se não for filósofo(F), ou é trabalhador(T) ou é poeta(P). Todo filósofo(F) e todo poeta(P) é responsável. T A P

  36. 24)(Esaf) Em uma pequena comunidade, sabe-se que: “nenhum filósofo é rico” e que “alguns professores são ricos”. Assim, pode-se afirmar, corretamente, que nesta comunidade a) alguns filósofos são professores b) alguns professores são filósofos c) nenhum filósofo é professor d) alguns professores não são filósofos e) nenhum professor é filósofo

  37. 25)Qual é a negação da proposição “Alguma lâmpada está acesa e todas as portas estão fechadas”? Todas as lâmpadas estão apagadas e alguma porta está aberta. Todas as lâmpadas estão apagadas ou alguma porta está aberta. Alguma lâmpada está apagada e nenhuma porta está aberta. Alguma lâmpada está apagada ou nenhuma porta está aberta. Alguma lâmpada está apagada e todas as portas estão abertas.

  38. 25) Negação de A e B = não A ou não B I) negação de “Alguma lâmpada está acesa” resposta: nenhumalâmpadaestáacesa (equivale a “todas as lâmpadasestãoapagadas”) II) negação de “todas as portas estão fechadas” resposta: algumaportanãoestáfechada. (equivale a “algumaportaestáaberta”) Finalmente: Todas as lâmpadas estão apagadas OU alguma porta está aberta. Letra  B

  39. 26) (Esaf) Todas as amigas de Beto são, também, amigas de Berenice, mas nenhuma amiga de Berenice é amiga de Bruna. Todas as amigas de Bia são também amigas de Bela, e algumas amigas de Bela são também amigas de Bruna. Como nenhuma amiga de Bela é amiga de Berenice, e como Bela, Bia e Bruna não têm nenhuma amiga em comum, então: Pelo menos uma amiga de Bia é amiga de Bruna. Pelo menos uma amiga de Beto é amiga de Bruna. Todas as amigas de Bela são amigas de Beto. Todas as amigas de Bela são amigas de Bia. Nenhuma amiga de Bia é amiga de Beto.

  40. Bruna v Bere Beto Bela Bia 26) Resolução

  41. 27) (FCC/Auditor SP)Considerando os Auditores-Fiscais que, certo mês, estiveram envolvidos no planejamento das atividades de fiscalização de contribuintes, arrecadação e cobrança de impostos, observou-se que: todos os que planejaram a arrecadação de impostos também planejaram a fiscalização de contribuintes; alguns, que planejaram a cobrança de impostos, também planejaram a fiscalização de contribuintes. Com base nas observações feitas, é correto afirmar que, com certeza, todo Auditor-fiscal que planejou a fiscalização de contribuintes esteve envolvido no planejamento da arrecadação de impostos. se algum Auditor-fiscal esteve envolvido nos planejamentos da arrecadação e da cobrança de impostos, então ele também planejou a fiscalização de contribuintes. existe um Auditor-fiscal que esteve envolvido tanto no planejamento da arrecadação de impostos como no da cobrança dos mesmos. existem Auditores-fiscais que estiveram envolvidos no planejamento da arrecadação de impostos e não no da fiscalização de contribuintes. pelo menos um Auditor-fiscal que esteve envolvido no planejamento da cobrança de impostos também planejou a arrecadação dos mesmos.

  42. (FCC/2010-TRT) Em certo planeta, todos os Aleves são Bleves, todos os Cleves são Bleves, todos os Dleves são Aleves, e todos os Cleves são Dleves. Sobre os habitantes desse planeta, é correto afirmar que Todos os Dleves são Bleves e são Cleves. Todos os Bleves são Cleves e são Dleves. Todos os Aleves são Cleves e são Dleves. Todos os Cleves são Aleves e são Bleves. Todos os Aleves são Dleves e alguns Aleves podem não ser Cleves.

  43. A Todos os Aleves são Bleves. Todos os Cleves são Bleves. Todos os Dleves são Aleves. Todos os Cleves são Dleves. D B C

More Related