LP Lucía Villatoro

Al hablar de lógica proposicional nos estamos refiriendo al estudio de las variables proposicionales o sentencias lógicas, sus posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel absoluto de verdad. Algunos autores también la identifican con la lógica matemática o la lógica simbólica, ya que utiliza una serie de símbolos especiales que lo acercan al lenguaje matemático. Dentro de dicho lenguaje se encuentran las proposiciones que pueden llegar a ser, como lo son.

Tautología: se define tautología o validez a aquella formula que siempre es verdadera.

Contradicción: es una proposición que siempre es falsa para todos los valores de verdad.

Contingencia: es aquella formula que es falsa o verdadera.

Para llegar a cualquiera de estos tres tipos de proposiciones se  utilizan una serie de conectivos, los cuales son.

Conjunción: Y ∧. Solamente si las componentes de la conjunción son ciertas, la conjunción es cierta.

Disyunción: O ∨. La disyunción solamente es falsa si lo son sus dos componentes.

Condicional: ⇒ entonces. Esto cuando la primera proposición es verdadera y la segunda es falsa.

Doble Implicación: ⇔ si solo sí. Es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.

Considero que la lógica proposicional es evidentemente una  gran herramienta que al ir poniéndola en práctica y aplicándola, llega a ser de gran utilidad para todo aquello que en algún momento podamos llegar a necesitar averiguar o descifrar, de una forma lógica.