El lenguaje de la lógica proposicional back
Una expresión proposicional se construye a partir de algún conjunto de proposiciones y los conectivos lógicos : Conjunción : para afirmar que dos proposiciones se dan de manera conjunta. Disyunción : para afirmar que dos proposiciones se dan de manera separada. Negación : para negar una proposición. Por ejemplo, asuma las siguientes proposiciones: Hoy es martes. El cielo es azul. 2 + 5 = 6. Entonces podemos formular expresiones como las siguientes: Hoy es martes y el cielo es azul , es la conjunción de hoy es martes con el cielo es azul . Esta proposición compuesta es verdadera si ambas, hoy es martes y el cielo es azul son verdaderas. Hoy es martes o 2 + 5 = 6 , es la disyunción de hoy es martes con 2 + 5 = 6 . Esta proposición es verdadera si alguna de hoy es martes y 2 + 5 = 6 es verdadera, aunque no necesariamente ambas. No es verdad que 2 + 5 = 6 , es la negación de 2 + 5 = 6 . Esta proposición es verdadera si es falso que 2 + 5 = 6 ....