Lógica Proposicional

roposición lógica y valores de verdad[editar]
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 c