lógica proposicional 

la lógica proposicional  la rama de la lógica que estudia las formas de unión y modifica de propocisiones enteras,declaraciones o sentencias mas complejas ,así como las relaciones lógicas y propiedades que se derivan de estos metodos de combinación o alteración de las declaraciones .

se utiliza para analizar,simplificar y establecer la equivalencia de las declaraciones.

la rama de la lógica proposicional mas investigada    a fondo es la lógica proposicional funcional-valida, estudia los conectores lógicos se utilizan para producir las declaraciones complejas