Cual es el valor de verdad de una proposicion
En que sentido podemos ver la proposiciones
Como se identifica la proposición en la lógica formal
Como se identifica en la lógica tradicional
Que expresa una proposición
Que es una proposición
El término proposición se usa para referirse a
Las entidades portadoras de los valores de verdad, los objetos de las creencias y de otras actitudes proposicionales y El significado de las oraciones declarativas o enunciativas, como "el Sol es una estrella"
El valor de verdad de una proposición lógica atómica (o variable proposicional) en lógica bivalente es, por definición, verdadero o falso (podemos representarlo como V o F). En lógica polivalente pueden existir más valores de verdad además de V o F. Por ejemplo en lógica difusa el valor de verdad de una proposición se representa por un número del intervalo cerrado [0,1] (nótese que aquí el conjunto de valores de verdad es infinito), este número se interpreta como la probabilidad de que una proposición sea cierta (dado que la probabilidad es un número entre 0 y 1).
Una proposición es una cadena de signos expresados en un determinado lenguaje
En lógica formal se identifica una proposición lógica con una fórmula bien formada usando los símbolos del alfabeto que caracteriza al lenguaje formal que se esté empleando. Las reglas de buena formación garantizan que la proposición sea interpretable en términos de verdad o en un modelo formal. Las fórmulas mal formadas de hecho no pueden tener valor de verdad ya que no existe garantías de que sean interpretables y por tanto puedan tener un valor de verdad
En ese sentido una proposición puede entenderse como un producto lógico del pensamiento humano que expresada mediante una lengua natural, aunque también existen lenguajes formales (como la notación matemática). Una proposición expresada en lenguaje natural deberá ser una oración gramatical o como mínimo una oración semánticamente no vacía, mientras que una proposición expresada en un lenguaje formal deberá ser una cadena de signos que constituya una fórmula bien formada
Expresa un contenido semántico a la que bajo cierto procedimiento acordado o prescrito es posible asignarle un valor de verdad (usualmente "verdadero" o "falso", aunque en lógica formal se admiten otros valores de verdad diferentes)
En lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es el producto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese acto constituye el juicio. Para Aristóteles, la proposición es un discurso enunciativo perfecto, que se expresa en un juicio que significa lo verdadero y lo falso como juicio de términos. Por eso el juicio es una afirmación categórica, es decir, incondicionada porque representa adecuadamente la realidad.
