El presente informe trata de la lógica proposicional que es una rama de la lógica clásica, ya que estudia las proposiciones o sentencias lógicas, sus posibles evaluaciones de la verdad, en el caso ideal, y su nivel absoluto de la verdad. Una proposición se define como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se representan mediante variables proposicionales simbolizadas mediantes letras. Con la combinación de variables proposicionales y conjunciones, definidas como factores o funciones de la verdad, se obtienen fórmulas senténciales o sentencias. Estas pueden ser, según su tabla de la verdad: esta tabla de la verdad depende del número de variables de la expresión proposicional y se puede calcular por medio de formulas. Al elaborar o construir una tabla de la verdad, es un proceso bastante importante, ya que nos permite establecer la validez o falsedad de un enunciado, de acuerdo a la verdad o falsedad de las proposiciones que componen el enunciado, identificando sus conectores lógicos y determinando en todas las relaciones posibles entre las proposiciones un valor que nos permite conocer su validez.
Al analizar cualquier enunciado, desde el punto de vista de la lógica, nos damos cuenta que existen componentes que los integran, que son las premisas y sus conectores lógicos.
Los conectores lógicos son:
La conjunción: nos permite realizar proposiciones p, q que es la operación binaria que tiene por resultado p y q, se representa por p ^ q, esta nos sirve para indicar que se cumplen dos condiciones simultáneamente.( terminode enlace Y)
La disyunción: a diferencia de la conjunción, representamos dos expresiones y que afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea verdadera para que la expresión P o Q , se representas p ∨ q sea verdadera. La disyunción esta conformada por exclusiva e inclusiva. (termino de enlace O)
La condicional: podemos decir respecto a este operador binario, que lo primero que hay que destacar es que no es conmutativo, a diferencia de los dos anteriores la conjunción y la disyunción. El único caso que resulta falso es cuando el primero es verdadero y el segundo falso. Cabe señalar que este viene a ser el operador más importante en el proceso deductivo y que la mayoría de las leyes de inferencia y las propiedades en matemáticas se pueden enunciar utilizando este operador. ( si P entonces Q, y se representa P → Q)
La bicondicional: esta depende de dos proposiciones p, q que da lugar a la proposición;( p si y sólo si q,) se representa por p ↔ q. Combinando los operadores anteriores podemos formar nuevas expresiones.
La negación: la negación es un conectivo unitario, este operador lógico cambia el valor de la verdad de las proposiciones de verdadero a falso o viceversa. En la negación también podemos encontrar dos tipos la negación conjunta y alternativa.
La exclusión: es aquella que afirma que por lo menos uno de los miembros debe ser falso para que la proposición sea verdadera.
En fin podemos decir que ya no vemos una oración solo de forma estructural donde existe un sujeto, verbo y predicado, ahora aprendemos a ver la relación de validez que estas oraciones tienen asignando valores a las proposiciones, lo cual, de acuerdo a sus conectores nos indica de forma determinante si lo que se dice es verdad o mentira.
Por lo tanto, aprender a prender de la lógica, nos brinda la oportunidad de determinar lo que es correcto o no al momento de tomar decisiones sobre enunciados escritos, de los cuales desconocemos su validez o falsedad. La lógica proposicional es un elemento fundamental de la lógica matemática.