Questão 201478

• Banca: FCC
• Órgão: BAHIAGÁS
• Ano: 2010
• Provas: FCC - 2010 - BAHIAGÁS - Analista de Processos Organizacionais - Análise de Sistemas
• Disciplina: Algoritmos e Estrutura de Dados
• Assuntos: Algoritmos; Lógicas de Programação

Uma proposição (uso em programação lógica) pode ser observada como uma declaração lógica que pode ou não ser verdadeira. Ela consiste em objetos e nas suas interrelações. A lógica formal foi desenvolvida para fornecer um método de descrição de proposições com o objetivo de permitir que estas, formalmente declaradas, sejam

• A. quantificadas.
• B. verificadas quanto à validade.
• C. analisadas por sua qualidade.
• D. classificadas por sua complexidade.
• E. escritas sempre em hexadecimal.

Gabarito: B

Comentários

• O que é a lógica formal?

  É a ciência das leis do pensamento e a arte de aplicá-los corretamente na procura e na demonstração da verdade. 

  Ao pensar nisso, podemos ver que o gabarito é a letra B - "verificadas quanto à validade".