Lógica proposicional


La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular afirmaciones  sobre el mundo que nos rodea.


La lógica proposicional permite el razonamiento, a través de un mecanismo que primero evalúa proposiciones simples y luego proposiciones complejas, formadas mediante el uso de conectores proposicionales. Este mecanismo determina la veracidad de una proposición compuesta, analizando los valores de verdad asignados a las proposiciones simples que la conforman. 



2 comentarios: