Os programas de computador são a construção de algoritmos em linguagem codificada, ou seja, uma linguagem compreendida pelo computador de forma a ...

Os programas de computador são a construção de algoritmos em linguagem codificada, ou seja, uma linguagem
compreendida pelo computador de forma a garantir que os passos do algoritmo sejam executados da forma como foram
definidos pelo desenvolvedor de sistemas. Sobre os programas de computador e a lógica, analise as sentenças a seguir:

I- A lógica proposicional estuda a lógica segundo a sua estrutura e forma, é também conhecida como lógica formal.
II- A lógica de programação define o encadeamento lógico para o desenvolvimento de programas e sistemas
informatizados.
III- Algoritmos podem ser utilizados para descrever os passos que devem ser seguidos na execução de processos, tarefas,
ou solução de qualquer tipo de problemas.
IV- Na construção de programas de computador, a lógica aristotélica consiste em aprender a pensar na mesma sequência
de execução dos programas.
V- A capacidade de resolução de problemas está relacionada à capacidade de elaboração de algoritmos.
Assinale a alternativa CORRETA:

I- A lógica proposicional estuda a lógica segundo a sua estrutura e forma, é também conhecida como lógica formal.
II- A lógica de programação define o encadeamento lógico para o desenvolvimento de programas e sistemas informatizados.
III- Algoritmos podem ser utilizados para descrever os passos que devem ser seguidos na execução de processos, tarefas, ou solução de qualquer tipo de problemas.
IV- Na construção de programas de computador, a lógica aristotélica consiste em aprender a pensar na mesma sequência de execução dos programas.
V- A capacidade de resolução de problemas está relacionada à capacidade de elaboração de algoritmos.
A As sentenças II, III e V estão corretas.
B As sentenças I e IV estão corretas.
C As sentenças II, III, IV e V estão corretas.
D As sentenças I, III e V estão corretas.