Sentença Aberta E Fechada

Como identificar e transformar sentenças abertas em sentenças fechadas

Você já tentou dar certo ou errado para uma expressão como "x + 5 > 12" e percebeu que simplesmente não tem resposta definitiva? Isso é exatamente o que diferencia sentença aberta e fechada na prática, e a confusão entre os dois conceitos é mais comum do que você imagina, mesmo em turmas de lógica e matemática. Uma sentença aberta é uma expressão matemática ou lógica que contém pelo menos uma variável livre. Isso significa que seu valor de verdade não pode ser determinado sem que essa variável receba um valor específico. A expressão "3y - 7 = 2" não é verdadeira nem falsa até que y seja atribuído a algum número. Já uma sentença fechada, chamada formalmente de proposição na lógica clássica, possui valor de verdade definido: é simplesmente verdadeira ou simplesmente falsa. O problema é que muitos materiais didáticos apresentaram isso como uma linha clara, mas a realidade nas bancas examinadoras e nos exercícios reais é bem mais bagunçada. O domínio dessas sentenças varia conforme o conjunto universo que você trabalha. Por exemplo, a sentença aberta "x² = 4" dentro dos inteiros tem solução {2, -2}, mas se o conjunto universo for restrito aos números naturais, passa a ter apenas uma solução. A sentença não muda, só o contexto que define quando ela se fecha.

Para transformar uma sentença aberta em fechada, existem basicamente três caminhos práticos. O primeiro é substituir a variável por um valor específico do conjunto universo. O segundo é adicionar um quantificador universal ("para todo x") ou existencial ("existe algum x"). O terceiro é resolver a sentença e expressar o conjunto-solução como uma afirmação fechada. Cada um deles gera resultados diferentes e é importante saber qual está sendo exigido. Na minha experiência corrigindo provas e acompanhando alunos, percebi algo que poucas pessoas mencionam: muitos confundem a ideia de sentença aberta com equação. Todo equação é uma sentença aberta, mas uma sentença aberta não precisa ser uma equação. Inigualdades como "n³

50" são sentenças abertas também. Essa distinção parece bobagem até você se deparar com uma questão que pede para classificar "2z + 1 9" e se confunde porque não está no formato tradicional de igualdade.

Como aplicar na prática: exemplos e armadilhas

Vou mostrar com um exemplo concreto o tipo de erro que vejo todo dia. Considere a sentença aberta "m² - 5m + 6 = 0" com conjunto universo U = R. Se o enunciado pedir para determinar quais valores tornam a sentença verdadeira, você resolve a equação e encontra m = 2 ou m = 3. O conjunto-solução é {2, 3}. Se a questão pedir para transformar a sentença aberta em uma proposição verdadeira usando um quantificador existencial, você escreve "Existe m em R tal que m² - 5m + 6 = 0", que é uma sentença fechada verdadeira. Aqui vai algo que raramente explicam direito e que pode mudar completamente sua resposta. Quando o quantificador universal é aplicado a uma sentença aberta, como em "Para todo x em R, x² 0", isso vira uma proposição fechada. Mas essa proposição é verdadeira no conjunto dos reais e falsa se o universo for ampliado para os complexos, onde "x² 0" nem sequer faz sentido para números puramente imaginários. O quantificador sozinho não basta, o conjunto universo é parte obrigatória da análise. Outro ponto cego que costuma pegar desprevenido: sentenças abertas com mais de uma variável. A expressão "a + b = 10" parece inofensiva até você precisar encontrá-la num gabarito de múltipla escolha. O conjunto-solução nesse caso não é um número, é um conjunto de pares ordenados {(0,10), (1,9), (2,8), ...}. Se o exame não especificar o tipo de conjunto para a e b, a pergunta fica ambiguity e qualquer resposta pode ser questionada. Nos concursos que acompanho, essa é uma das maiores fontes de recurso administrativo.

Me deparei uma vez com um exercício em que a sentença aberta era "log(x) = 3" e o conjunto universo era dado como Z. Parece trivial resolver x = 8, mas a armadilha estava em perceber que o domínio da função logarítmica exige x > 0. Embora 8 esteja em Z e seja positivo, a sentença aberta só faz sentido dentro do domínio válido. Alguns alunos marcavam respostas baseando-se apenas na solução algébrica e erravam porque a questão avaliava também a verificação de domínio. Anotei isso porque vejo esse erro se repetir com frequência em listas de exercícios online.

Erros comuns e como evitá-los

O erro mais frequente é tratar o conjunto-solução como sinônimo da sentença aberta. A sentença "p - 4 = 1" e o conjunto-solução {5} são coisas diferentes. Uma é uma expressão com variável, o outro é o resultado do processo de fechamento. Confundir esses dois níveis gera problemas sérios quando o assunto avança para equivalência entre sentenças. Um segundo erro crônico é aplicar regras de equações sem verificar o domínio. Sentenças com radicais, frações e logaritmos escondem restrições que tornam soluções algébricas inválidas. Resolver "sqrt(x - 3) = x - 3" sem considerar que x - 3 >= 0 leva a aceitar valores que não pertencem ao domínio original. A verificação de domínio deve ser um passo automático, não opcional. O terceiro erro diz respeito à interpretação de quantificadores em negações. A negação de "Para todo x, P(x)" não é "Para todo x, não P(x)" e sim "Existe algum x tal que não P(x)". Essa inversão é cobrada com frequência e muitos estudam o conteúdo decorando fórmulas sem entender o porquê. Um teste rápido para saber se você domina é tentar negar automaticamente cinco sentenças com quantificadores sem escrever nada no papel. Se precisar de rascunho, ainda há lacuna de compreensão.

Quando esse método não funciona

É honesto dizer que a classificação entre sentença aberta e fechada tem limitações sérias fora do contexto da lógica clássica de primeira ordem. Em lógica fuzzy, uma sentença pode ter valor de verdade parcial, então a divisão binária verdadeiro ou falso não se aplica de forma útil. Em lógica intuicionista, o princípio do terceiro excluído é rejeitado, o que significa que certas sentenças fechadas podem não ter valor de verdade definido até que uma construção lógica seja fornecida. Dentro da matemática do ensino básico e médio, essas exceções não afetam o que você precisa saber. O que importa na prática é reconhecer rapidamente se uma expressão tem variáveis livres, identificar o conjunto universo, e aplicar o quantificador ou a substituição adequados. Leva cerca de 30 segundos para fazer essa análise corretamente quando você pratica com frequência, mas os primeiros erros custam tempo valioso em provas cronometradas. Se o seu objetivo é apenas passar em vestibulares e concursos, recomenda-se dominar primeiro a resolução de sentenças abertas com uma variável e conjuntos numéricos padrão. Sentenças com múltiplas variáveis e quantificadores compostos aparecem com menor frequência e podem ser tratadas como avançado, mas entender a fundação primeiro evita que você construa sobre bases instáveis.