Lenguaje proposicional
De Wikipedia, la enciclopedia encyclopedia
Dentro de la lógica formal, el lenguaje proposicional estudia las propiedades de los conectivos proposicionales como y, o, no, si y solo si y entonces entre otros, usados en el desarrollo de sistemas lógicos en la lógica matemática.
![]() |
Se ha sugerido que este artículo o sección sea fusionado en «Lógica proposicional». |
- Este artículo está orientado a proporcionar un tratamiento riguroso y abstracto del lenguaje proposicional. Para una introducción más accesible véase lógica proposicional
Para sintetizar gramaticalmente el modelo matemático de lenguaje será necesario introducir unos símbolos para denominar las frases atómicas y otros símbolos, distintos, para denominar los conectivos.