¡Comencemos esta aventura!
Para empezar a desarrollar y explicar como se usa la lógica proposicional , primero debemos definir que es una proposición . A grandes rasgos una proposición es una oración, una frase o un enunciado, no lo es una pregunta, una exclamación, una orden, una duda. Entonces definiendo las proposiciones formalmente, son oraciones que tienen una función informativa, que se caracterizan porque afirman o niegan algo, y de ellas tiene sentido decir que son verdaderas o falsas. Ejemplo: "Hubo dos grandes guerras mundiales" "Cinco es un número impar" "En la Argentina no hay osos polares" "Montevideo es la capital del Perú" "Los días lunes y jueves tenemos clase de Lógica". Ahora ¿Verdaderas o falsas? ¿Para que sirve eso? La verdad y la falsedad son los valores de verdad que tienen las proposiciones. Si una proposición es verdadera, decimos que su valor de verdad es verdad , y si es falsa decimos que su valor de verdad es falsedad . Desde aquí en ...