Vamos analisar cada uma das alternativas para encontrar a correta: A) Um vocabulário proposicional é uma linguagem proposicional. Assim, esse vocabulário sempre será usado em álgebra. - Essa afirmação não é precisa, pois o vocabulário proposicional não se limita a ser usado apenas em álgebra. B) A sintaxe define um conjunto de símbolos, fórmulas e sistemas, enquanto a semântica indica o sentido de frases formadas com a sintaxe. - Esta afirmação está correta. A sintaxe se refere à estrutura e regras de formação das proposições, enquanto a semântica se refere ao significado dessas proposições. C) A lógica proposicional é pouco utilizada nos dias atuais, pois se mostra ultrapassada e sem aplicações diretas ou indiretas. - Essa afirmação é falsa, pois a lógica proposicional ainda é amplamente utilizada em diversas áreas, como computação, matemática e filosofia. D) 'x+y= z' é uma proposição correta, pois mostra uma afirmação que pode ser facilmente verificada. - Essa afirmação é enganosa, pois 'x+y=z' é uma expressão algébrica e não uma proposição que pode ser verdadeira ou falsa sem valores específicos para x, y e z. E) A precedência é necessária para incluir parênteses em frases. Dessa forma, sempre devem ser usados parênteses em argumentos lógicos. - Essa afirmação é incorreta, pois parênteses são usados para clarificar a ordem das operações, mas não é obrigatório usá-los em todos os casos. Portanto, a alternativa correta é: B) A sintaxe define um conjunto de símbolos, fórmulas e sistemas, enquanto a semântica indica o sentido de frases formadas com a sintaxe.