Matematicas

Lógica proposional

 La lógica proposicional es una parte de

la lógica clásica que estudia las
variables proposicionales, sus posibles
implicaciones, los valores de verdad de las
proposiciones o de conjuntos de ellas formadas a
partir de los conectores lógicos.
Símbolos de la lógica proposional

Conjunción (∧ ): es aquella proposición que es verdadera cuando p y q

son verdaderas, y falsa en cualquier otro caso. Se escribe p Ù q, y se lee
"p y q".
Disyunción(v): es aquella proposición que es verdadera cuando al menos
una de las dos p o q es verdadera, y falsa en caso contrario.
Negación: la negación, es una operación sobre proposiciones, valores de
verdad, o en general, valores semánticos. Intuitivamente, la negación de
una proposición es verdadera cuando dicha proposición es falsa, y
viceversa.
Símbolos de la lógica proposional

Equivalencia(↔):Una proposición es lógicamente equivalente a otra

cuando cada una de las asignaciones de valores de verdad a las
proposiciones simples que las componen genera el mismo valor de
verdad en ambas proposiciones. En otras palabras, dos expresiones son
lógicamente equivalentes si sus tablas de verdad son iguales.
Implicación(→):La implicación une dos proposiciones, llamadas
antecedente y consecuente . La implicación lo que dice es qué, de
cumplirse el antecedente, el consecuente debe también cumplirse si o si
para que la implicación sea cierta. Es decir, si el antecedente es
VERDADERO , entonces el consecuente también debe ser VERDADERO .