Questão 946420

• Banca: CESPE / CEBRASPE
• Órgão: SERPRO
• Ano: 2013
• Provas: CESPE - 2013 - SERPRO - Analista - Administração de Serviços de Tecnologia da Informação
• Disciplina: Programação
• Assuntos: Conceitos básicos de programação

Com relação a linguagens de programação, julgue os próximos itens.

O estudo de técnicas de formalização, dedução e análise, que possibilitam a verificação da validade de argumentos, é um dos objetivos da lógica.

• C. Certo
• E. Errado

Gabarito: C

Comentários

• A validade do argumento está diretamente ligada à forma pela qual ele se apresenta. (Lógica Formal – estuda a forma dos argumentos).
  A Lógica dispõe de duas ferramentas que podem ser utilizadas pelo pensamento na busca de novos conhecimentos: a dedução e a indução, que dão origem a dois tipos de argumentos: Dedutivos e Indutivos.
  

• CORRETO. A lógica formal é aquela que estuda as técnicas de formalização, dedução e análise para verificarmos a validade de argumentos.

  Resposta: C

• Não deveria ser uma das FERRAMENTAS da lógica? me parece que formalização, dedução e análise não são objetivos, e sim caminhos (ferramentas) para se chegar no objetivo: a verdade

• Eu hein, tem nada disso no material.