| dbo:abstract
|
- En lógica, una sentencia atómica es un tipo de sentencia declarativa que puede ser verdadera o falsa (también puede ser referido como una proposición, declaración o portador de la verdad) y que no puede ser dividida en otras sentencias más simples. Por ejemplo, "El cachorro corrió" es una sentencia atómica en lenguaje natural, mientras que "El cachorro corrió y el gato se escondió" es una sentencia molecular en lenguaje natural. A partir de un análisis lógico, la verdad o falsedad de sentencias, en general, es determinada solo por dos cosas: la forma lógica de la sentencia y de la verdad o falsedad de sus sentencias simples. Eso quiere decir, por ejemplo, que la verdad de la sentencia "Juan es griego y Juan es feliz" es una función del significado de "y", y de los valores de verdad de las sentencias atómicas "Juan es griego" y "Juan es feliz ". Sin embargo, la verdad o falsedad de una sentencia atómica no es una cuestión que está dentro del escopo de la lógica en sí, pero sí, sobre que arte o ciencia el contenido de la sentencia atómica está hablando. La lógica ha desarrollado lenguajes artificiales. Por ejemplo, la lógica proposicional y lógica de primer orden parten de la finalidad de revelar la lógica subyacente de los enunciados del lenguaje natural. La gramática superficial de esas declaraciones puede ocultar la estructura lógica subyacente; véase Filosofía analítica. En esas lenguas artificiales una sentencia atómica es una secuencia de símbolos que pueden representar una sentencia elemental en un lenguaje natural, y puede ser definida de la maneras presentadas abajo. En un lenguaje formal, una fórmula bien formada (o fbf) es una secuencia de símbolos constituida en conformidad con las reglas de la sintaxis del lenguaje. Un término es una variable, una constante individual o una función n-ária seguida por n términos. Una fórmula atómica es una fbf compuesta por una letra sentencial o una letra de predicado n-ária seguido por n términos. Una sentencia es una fbf en la cual las variables están vinculadas. Una sentencia atómica es una fórmula atómica que no contiene variables. Como resultado, una sentencia atómica no contiene conectivos lógicos, variables o cuantificadores. Una sentencia constituida por una o más sentencias y un conectivo lógico es una compuesta (o sentencia molecular). (es)
- En lógica, una sentencia atómica es un tipo de sentencia declarativa que puede ser verdadera o falsa (también puede ser referido como una proposición, declaración o portador de la verdad) y que no puede ser dividida en otras sentencias más simples. Por ejemplo, "El cachorro corrió" es una sentencia atómica en lenguaje natural, mientras que "El cachorro corrió y el gato se escondió" es una sentencia molecular en lenguaje natural. A partir de un análisis lógico, la verdad o falsedad de sentencias, en general, es determinada solo por dos cosas: la forma lógica de la sentencia y de la verdad o falsedad de sus sentencias simples. Eso quiere decir, por ejemplo, que la verdad de la sentencia "Juan es griego y Juan es feliz" es una función del significado de "y", y de los valores de verdad de las sentencias atómicas "Juan es griego" y "Juan es feliz ". Sin embargo, la verdad o falsedad de una sentencia atómica no es una cuestión que está dentro del escopo de la lógica en sí, pero sí, sobre que arte o ciencia el contenido de la sentencia atómica está hablando. La lógica ha desarrollado lenguajes artificiales. Por ejemplo, la lógica proposicional y lógica de primer orden parten de la finalidad de revelar la lógica subyacente de los enunciados del lenguaje natural. La gramática superficial de esas declaraciones puede ocultar la estructura lógica subyacente; véase Filosofía analítica. En esas lenguas artificiales una sentencia atómica es una secuencia de símbolos que pueden representar una sentencia elemental en un lenguaje natural, y puede ser definida de la maneras presentadas abajo. En un lenguaje formal, una fórmula bien formada (o fbf) es una secuencia de símbolos constituida en conformidad con las reglas de la sintaxis del lenguaje. Un término es una variable, una constante individual o una función n-ária seguida por n términos. Una fórmula atómica es una fbf compuesta por una letra sentencial o una letra de predicado n-ária seguido por n términos. Una sentencia es una fbf en la cual las variables están vinculadas. Una sentencia atómica es una fórmula atómica que no contiene variables. Como resultado, una sentencia atómica no contiene conectivos lógicos, variables o cuantificadores. Una sentencia constituida por una o más sentencias y un conectivo lógico es una compuesta (o sentencia molecular). (es)
|
| rdfs:comment
|
- En lógica, una sentencia atómica es un tipo de sentencia declarativa que puede ser verdadera o falsa (también puede ser referido como una proposición, declaración o portador de la verdad) y que no puede ser dividida en otras sentencias más simples. Por ejemplo, "El cachorro corrió" es una sentencia atómica en lenguaje natural, mientras que "El cachorro corrió y el gato se escondió" es una sentencia molecular en lenguaje natural. (es)
- En lógica, una sentencia atómica es un tipo de sentencia declarativa que puede ser verdadera o falsa (también puede ser referido como una proposición, declaración o portador de la verdad) y que no puede ser dividida en otras sentencias más simples. Por ejemplo, "El cachorro corrió" es una sentencia atómica en lenguaje natural, mientras que "El cachorro corrió y el gato se escondió" es una sentencia molecular en lenguaje natural. (es)
|
