Definição de Proposição em Lógica
Gabarito: letra B. A frase que pode ser classificada como verdadeira ou falsa, mas não ambas, é a definição clássica de proposição na lógica proposicional. Esse conceito é fundamental e está expresso nos materiais de estudo: "Chama-se proposição toda frase declarativa que pode ser valorada em verdadeira ou falsa, mas não as duas." (conteúdo de apoio). As demais alternativas referem-se a outros conceitos: sentença aberta possui variáveis e não tem valor lógico definido; princípio da identidade é uma lei do pensamento; negação e conjunção são operadores lógicos.
Alternativa A — ❌ Incorreta
Sentença aberta é uma frase declarativa que contém uma variável e, portanto, não pode ser valorada como verdadeira ou falsa até que a variável seja substituída (ex.: "x + 2 = 5"). Não se encaixa na definição do enunciado.
Alternativa B — ✅ Correta ⟵ GABARITO
Proposição é exatamente o termo que designa uma oração declarativa com valor lógico definido (V ou F), excluindo a ambiguidade. A definição literal é: "toda frase declarativa que podemos classificar como verdadeira ou falsa, mas não ambas ao mesmo tempo".
Alternativa C — ❌ Incorreta
Princípio da identidade é uma das leis do pensamento (se uma proposição é verdadeira, ela é verdadeira), não é o nome dado à frase declarativa em si.
Alternativa D — ❌ Incorreta
Negação é um operador lógico que inverte o valor de uma proposição (~p), não é a definição da frase.
Alternativa E — ❌ Incorreta
Conjunção é um conectivo lógico (e, ∧) que combina duas proposições, não é o termo para a frase declarativa isolada.
Gabarito: letra B.