Sentença aberta: diferenças entre revisões

{{sem notas|data=março de 2014}}

 

Na lógica matemática, uma fórmula aberta é uma fórmula que contém [[Variáveis livres e ligadas|variáveis ​​livres]]. (Note que na lógica, uma "sentença" é uma fórmula ''sem'' variáveis ​​livres. Uma fórmula é "aberta" se ela não contém [[Quantificação|quantificadores]]). Ao contrário das fórmulas fechadas, que contêm constantes, fórmulas abertas não expressam [[Proposição|proposições]], pois elas não são verdadeiras nem falsas. Assim, a fórmula "<math>x</math> é um número" (I) não tem valor verdade. A fórmula é satisfeita por qualquer objeto que, escrito no lugar da variável, vai formar uma sentença verdadeira. Assim, "5" satisfaz (I). Qualquer sentença que resulte de uma fórmula é dito ser um substituto da fórmula. Logo, "5 é um número" é um substituto de (I). Tais substituições são conhecidas como soluções para a sentença.

 

== Exemplos ==