fórmula proposicional

En la lógica proposicional,una fórmula proposicional es un tipo de fórmula sintáctica la cual está bien formada y tiene un valor verdadero. Si los valores de todas las variables en una fórmula proposicional son dados, es determinado un único valor verdadero. Una fórmula proposicional también puede ser llamada una expresión proposicional, una frase, o una fórmula sentencial. Una fórmula proposicional es construida por una simple proposición, como "5 es mayor que 3" o variables proposicionales como P y Q, usando conectores como NO, Y, O e IMPLICADORES. 1. * (P Y NO Q) IMPLICA (P O Q). En mátematicas, una fórmula proposicional es a menudo más brevemente referido a una "proposición", pero, más precisamente, una fórmula proposicional no es una proposición pero una expresión formal que denota una proposición, un objeto formal bajo discusión, al igual que una expresión como "x + y" no es un valor. En algunos contextos, mantener la distinción puede ser importante.