¡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 adelante vamos a abreviar los valores de verdad con "V" y "F"

Por cierto, a la hora de analizar las proposiciones, tenemos una manera particular de hacerlo, las representamos con letras, pero no con cualquiera, lo hacemos desde las letra p en adelante, entonces podemos decir que las representamos con las letras: p, q, r, s, etc.

Concluyendo con el tema del día, decimos que la lógica proposicional es una rama de la lógica matemática que se centra en el estudio y manipulación de proposiciones o afirmaciones simples; se la utiliza en matemáticas, informática, filosofía y diversas disciplinas para analizar la estructura de los argumentos y razonamientos. También es la base para sistemas lógicos más complejos, como la lógica de predicados y la lógica de proposiciones múltiples.

Por cierto, con todo lo que desarrollamos aquí, ya estás en condiciones de realizar las dos primeras actividades del Trabajo Práctico que se encuentra en la Bibliografía de este blog.

¡Hasta la próxima, espero te sea de utilidad!