Verificación y Validación de Software: Aplicaciones de logica propocional

Una de las formas de definir la lógica proposicional es como lo vimos en clase anteriormente es el estudio de las formas de razonamiento donde su validación depende solamente de las propiedades verdadero o falso.

De manera informal, una proposición se define como una frase que puede ser considerada

Verdadera y que no se puede descomponer en otras frases Verdaderas o Falsas, y estas a su ves pueden ser simples o compuestas.

Ejemplo:
Luis es inteligente y estudioso = Proposición Compuesta
Llueve si y solo si esta nublado = Proposición Compuesta
Luis es inteligente = Proposición simple

Para poder relacionar distintas proposiciones se utilizan los conectivas como las siguientes:

Existe un lenguaje para la logica proposicional representado por el siguiente conjunto de simbolos:

Existe un orden de precedencia entre los operadores: ¬, ∧, ∨, ⇒y⇔

Cada uno de los conectores o constantes lógicas se define semánticamente mediante
una tabla de verdad que muestra sus posibles valores veritativos según los casos.

Aplicaciones:
Se necesita tener un lenguaje con una sintaxis y semántica bien definida.
Se puede utilizar dentro de las matematicas como:

Definición de objetos matemá́ticos: conjunto, números naturales, nú́meros reales.
Definición de teorías matematicas: teoria de conjuntos, teoria de los numeros naturales.

En Circuitos logicos:
La aplicación de la logica proposicional es dentro de circuitos electricos digitales y es posible en virtud del isomorfismo a la relación de igualdad que existe entre dos objetos.