Questão número 305757

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.

O Provas e Concursos é um banco de dados de questões de concursos públicos organizadas por matéria, assunto, ano, banca organizadora, etc