Questão
ID 1212744Disciplina: Raciocínio Lógico
Assunto: Verdade e Validade
Ano: 2013 Banca: CESPE CEBRASPE - Centro de Seleção e de Promoção de Eventos UnB Órgão: Serviço Federal de Processamento de Dados
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.