A quando definindo uma linguagem, é preciso especificar a sua sintaxe e a sua semântica.
B 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.
C a sintaxe da lógica proposicional é a mesma da lógica dos predicados.
D um sistema dedutivo completo é um sistema que usa uma linguagem que teve a sua sintaxe e a sua semântica especificadas de forma completa.
E um sistema dedutivo correto é um sistema que associa valor verdadeiro ou falso às fórmulas bem formadas da linguagem.