Questões de Concurso Público UNIRIO 2014 para Analista Tecnologia da Informação - Desenvolvimento de Sistemas

quando definindo uma linguagem, é preciso especificar a sua sintaxe e a sua semântica.

sintaxe especifica, apenas, um grupo de símbolos, sendo a semântica a responsável por indicar de que forma esses símbolos podem ser combinados para formar os elementos da linguagem.

a sintaxe da lógica proposicional é a mesma da lógica dos predicados.

um sistema dedutivo completo é um sistema que usa uma linguagem que teve a sua sintaxe e a sua semântica especificadas de forma completa.

um sistema dedutivo correto é um sistema que associa valor verdadeiro ou falso às fórmulas bem formadas da linguagem.