Propocision

En filosofía y lógica, 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.
Elsignificado de las oraciones declarativas o enunciativas, como «el Sol es una estrella».
Intuitivamente una proposición expresa un contenido semántico a la que bajo cierto procedimiento acordado oprescrito es posible asignarle un valor de verdad (usualmente "cierto" o "falso", aunque en lógica formal se admiten otros valores de verdad diferentes).
Proposición lógica y valores de verdad.
El valor deverdad 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). Enlógica polivalente pueden existirmá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 delintervalo cerrado [0,1] (nótese que aquí el conjunto de valores deverdad 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).
Así el enunciado «llueve» es verdadero si ysólo si está lloviendo en ese momento. Pero si dicho enunciado se considera como proposición lógica atómica, p, entonces puede ser tanto verdadera como falsa. Es una verdad de hecho o contingente,porque tiene los dos posibles valores de verdad, por la propia definición de proposición lógica. El contenido de la relación de un enunciado con lo real no es objeto de la lógica sino de otras ciencias.Verdad de hecho o contingente, contradicción y tautología.
El valor de verdad de una proposición molecular puede ofrecer los siguientes casos:
Que su valor dependa del valor de verdad de lasproposiciones que la integran, según las conexiones lógicas que las unen. En ese caso dicha proposición tiene un valor de Verdad de hecho o contingente. Puede ser unas veces verdadera y otras veces falsa...