En lógica matemática, una sentencia de una lógica de predicados es una fórmula bien formada con valor booleano y sin variables libres. Una sentencia puede ser vista como expresión de una proposición, algo que pueda ser falso o verdadero. Se necesita la restricción de no tener variables libres a los efectos de asegurar que las sentencias puedan tener valores de verdad concretos y fijos: Como las variables libres de una fórmula (general) pueden asumir diversos valores, el valor verdadero de tal fórmula puede variar.
Un conjunto de sentencias se llama teoría; así, las sentencias individuales pueden ser llamadas teoremas. Para evaluar correctamente la verdad (o falsedad) de una sentencia, hay que hacer referencia a una interpretación de la teoría. Para las teorías de primer orden, las interpretaciones son comúnmente llamadas estructuras. Dada una estructura o interpretación, una sentencia tiene un valor de verdad fijo. Una teoría es satisfacible cuando todas sus sentencias son verdad.
es una sentencia. Esta sentencia es verdadera en los números reales positivos ℝ +, falsa en los números reales ℝ, y verdadera en los números complejos ℂ. (En lenguaje natural, esta sentencia es interpretada para decir que todo el número de la estructura es el cuadrado de un miembro de esa estructura particular). Por otra parte, la fórmula:
no es una sentencia, debido a la presencia de la variable libre y. En la estructura de los números reales, esta fórmula es verdadera si sustituimos (arbitrariamente) y = 2, pero falsa si consideramos que y = -2. (Lo que importa es la presencia de una variable libre, más que el valor inconstante de la verdad; por ejemplo, incluso en la estructura de los números complejos, donde la afirmación es siempre verdadera, aun así no se la considera una sentencia). En su lugar, en vez de fórmula se puede denominar predicado.
sentencia, lógica, lógica, matemática, sentencia, lógica, predicados, fórmula, bien, formada, valor, booleano, variables, libres, sentencia, puede, vista, como, expresión, proposición, algo, pueda, falso, verdadero, necesita, restricción, tener, variables, lib. En logica matematica una sentencia de una logica de predicados es una formula bien formada con valor booleano y sin variables libres Una sentencia puede ser vista como expresion de una proposicion algo que pueda ser falso o verdadero Se necesita la restriccion de no tener variables libres a los efectos de asegurar que las sentencias puedan tener valores de verdad concretos y fijos Como las variables libres de una formula general pueden asumir diversos valores el valor verdadero de tal formula puede variar Las sentencias sin ningun conectivo logico o cuantificador se conocen como sentencias atomicas por analogia la formula atomica Las sentencias se construyen a partir de sentencias atomicas por medio de la aplicacion de conectivos y cuantificadores Un conjunto de sentencias se llama teoria asi las sentencias individuales pueden ser llamadas teoremas Para evaluar correctamente la verdad o falsedad de una sentencia hay que hacer referencia a una interpretacion de la teoria Para las teorias de primer orden las interpretaciones son comunmente llamadas estructuras Dada una estructura o interpretacion una sentencia tiene un valor de verdad fijo Una teoria es satisfacible cuando todas sus sentencias son verdad Indice 1 Ejemplo 2 Vease tambien 3 Referencias 4 Enlaces externosEjemplo EditarEl siguiente ejemplo esta en logica de primer orden y x x 2 y displaystyle forall y exists x x 2 y es una sentencia Esta sentencia es verdadera en los numeros reales positivos ℝ falsa en los numeros reales ℝ y verdadera en los numeros complejos ℂ En lenguaje natural esta sentencia es interpretada para decir que todo el numero de la estructura es el cuadrado de un miembro de esa estructura particular Por otra parte la formula x x 2 y displaystyle exists x x 2 y no es una sentencia debido a la presencia de la variable libre y En la estructura de los numeros reales esta formula es verdadera si sustituimos arbitrariamente y 2 pero falsa si consideramos que y 2 Lo que importa es la presencia de una variable libre mas que el valor inconstante de la verdad por ejemplo incluso en la estructura de los numeros complejos donde la afirmacion es siempre verdadera aun asi no se la considera una sentencia En su lugar en vez de formula se puede denominar predicado Vease tambien EditarDeclaracion logica ProposicionReferencias EditarHinman P 2005 Fundamentals of Mathematical Logic A K Peters ISBN 1 56881 262 0 Rautenberg Wolfgang 2010 A Concise Introduction to Mathematical Logic en ingles 3ra edicion Nueva York Springer Science Business Media ISBN 978 1 4419 1220 6 doi 10 1007 978 1 4419 1221 3 enlace roto disponible en Internet Archive vease el historial la primera version y la ultima Enlaces externos EditarEsta obra contiene una traduccion total derivada de Sentenca logica matematica de la Wikipedia en portugues concretamente de esta version publicada por sus editores bajo la Licencia de documentacion libre de GNU y la Licencia Creative Commons Atribucion CompartirIgual 3 0 Unported Datos Q2509500Obtenido de https es wikipedia org w index php title Sentencia logica amp oldid 123925115, wikipedia, wiki, leyendo, leer, libro, biblioteca,
