Questão 11305

• Banca: FCC
• Órgão: TRF - 3ª REGIÃO
• Ano: 2007
• Provas: FCC - 2007 - TRF - 3ª REGIÃO - Técnico Judiciário - Área Administrativa
• Disciplina: Raciocínio Lógico
• Assuntos: Fundamentos de Lógica

Considerando "todo livro é instrutivo" uma proposição verdadeira, é correto inferir que

• A. "nenhum livro é instrutivo" é uma proposição necessariamente verdadeira.
• B. "algum livro não é instrutivo" é uma proposição verdadeira ou falsa.
• C. "algum livro é instrutivo" é uma proposição verdadeira ou falsa.
• D. "algum livro é instrutivo" é uma proposição necessariamente verdadeira.
• E. "algum livro não é instrutivo" é uma proposição necessariamente verdadeira.

Gabarito: D

Comentários

• O "todo" inclui todos inclusíve "alguns"!

• Só para recordar...
  
  Se a questão pedisse a negação  de "todo livro é instrutivo" , teríamos a letra e como resposta.
  
  ¬ ( V p é b)  =  p não é b
   

• Passando para os diagramas:
  
  

• Se todos são, é porque existe um que é.

  Todo A é B = Algum A é B

•  NEGAÇÃO

   

                                    TODO    ------------------->   ALGUM ... NÃO / PELO MENOS UM ... NÃO ... / EXISTE ... NÃO...

                      NENHUM / NÃO EXISTE           ----------------------->   ALGUM 

                                  ALGUM                           ------------------------->    NENHUM / NÃO EXISTE

  ALGUM ... NÃO / PELO MENOS UM ... NÃO ... / EXISTE ... NÃO... --------->   TODO

   

  Se houver erro, avisem-me.