O que é uma sentença matemática, na prática
Em matemática, sentença é qualquer combinação de símbolos que forme uma declaração com sentido completo. Não é só equação. Não é só inequação. É o termo genérico para algo que pode ser verdadeiro ou falso quando interpretado dentro de um contexto determinado. O que muita gente confunde é a diferença entre sentença aberta e sentença fechada, e isso causa dor de cabeça real na hora de resolver problemas.
sentença matematica o que é
Uma sentença matemática é uma expressão que relaciona termos, constantes, variáveis e operadores de forma que se possa atribuir um valor lógico — verdadeiro ou falso — a ela. O formato mais básico envolve um sujeito (o que está sendo descrito) e um predicado (o que se diz sobre ele). x + 3 = 7 é uma sentença. 5 > 2 também é. A primeira depende de x para ser verdadeira ou falsa, a segunda é sempre verdadeira. O erro mais comum que eu vejo todo dia é chamar qualquer coisa escrita com sinais matemáticos de "equação". Equação é um tipo específico de sentença que afirma igualdade entre duas expressões. Inequação afirma desigualdade. Propriedade afirma uma relação necessária. Sentença é o guarda-chuva pra tudo isso. Se você trata equação como sinônimo de sentença, vai travar na hora de trabalhar com desigualdades e conjuntos-verdade.
Exemplo rápido. x² - 4 = 0. Sentença aberta porque depende do valor de x. O conjunto-verdade são os números cujo quadrado é 4, ou seja, {-2, 2}. Agora olha 2 + 3 = 5. Sentença fechada, sempre verdadeira, independente de qualquer variável. E 2 + 3 = 6 também é uma sentença, só que sempre falsa. Ambas são sentenças. A diferença tá na avaliação lógica. Aqui vai algo que textbooks raramente explicam direito: sentenças abertas não são "incompletas". Elas são completas como estão. O que falta é a atribuição de valores às variáveis para que a verdade se determine. Quando o livro diz que "não se pode resolver uma sentença aberta", na verdade o que ele quer dizer é que o conjunto-verdade não é único até que se imponha uma restrição ao domínio. Isso faz diferença prática porque muda completamente a abordagem.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Eu tive um problema recente com sentenças abertas em logística. Tinha uma restrição do tipo 3x + 2y 12, onde x e y eram quantidades de produtos em estoque, e tinham que ser inteiros não negativos. A sentença era aberta. O erro que os modelos padrão cometeram foi tratar isso como uma equação e tentar isolar uma variável. O certo era mapear o domínio inteiro, testar os pontos inteiros viáveis e extrair o conjunto solução. O workaround que eu usei foi iterar y de 0 até o máximo possível (no caso, 6), calcular o intervalo válido de x para cada y, e montar a lista de pares ordenados manualmente. Funcionou em cerca de 10 minutos, enquanto a abordagem algébrica direta ia dar errado porque estava lidando com desigualdade, não igualdade. Outro ponto que as pessoas subestimam: sentenças podem ser verdadeiras em um contexto e falsas em outro. 2 + 2 = 4 é verdade nos naturais, nos inteiros, nos racionais, nos reais e nos complexos. Mas sentenças envolvendo divisibilidade, como "x divide y", só fazem sentido se o domínio estiver definido. Se você não especificar se x e y são inteiros, racionais ou reais, a sentença é ambígua e não tem como avaliar corretamente. Eu vejo gente perder pontos em prova por não declarar o domínio antes de manipular a sentença.
Sentença lógica é outro nível. Aqui entra o cálculo proposicional. P: "Todos os números ímpares são primos." Q: "2 é par." P ^ Q (conjunção) é falsa porque P é falsa, mesmo que Q seja verdadeira. A sentença composta existe só porque as partes existem. Se uma das sentenças atômicas não tiver valor bem definido, a composta também não terá. Isso é relevante quando você trabalha com variáveis livremente suspensas em demonstrações. Dica prática que funciona: sempre identifique primeiro se a sentença é aberta ou fechada. Se for fechada, avalie. Se for aberta, determine o domínio e o conjunto-verdade. Não pule essa etapa. Eu já vi gente tentar aplicar regras de equação em sentença aberta e acabar com soluções que não satisfazem a restrição original. O tempo gastovoltando pra corrigir isso é maior do que fazer a análise correta desde o início.
Um contraexemplo que vale a pena mencionar: sentenças com parênteses mal posicionados. (x + 3) * 2 = 10 e x + 3 * 2 = 10 são sentenças diferentes, embora parecidas. A primeira dá x = 2. A segunda dá x = 4. A estrutura sintática define o significado. Não assume que parecem iguais só porque os símbolos são semelhantes. A notação importa. Se você está estudando isso pra concurso ou pra prova, preste atenção em uma coisa: gabaritos adoram cobrar a diferença entre sentença aberta e fechada como pergunta direta. E adoram colocar sentenças com quantificadores ("para todo", "existe") como sentenças abertas disfarçadas. Quando aparece um quantificador, a variável está atrelada e a sentença vira fechada naquele escopo. É uma pegadinha clássica que separa quem decorou de quem entende.
