el lenguaje formal es un sistema simbólico y estructurado diseñado para representar proposiciones y sus relaciones de forma precisa y libre de ambigüedades. Este lenguaje utiliza símbolos específicos, como letras (p, q, r) para identificar proposiciones, junto con conectores lógicos (¬, ∧, ∨, →, ↔) para expresar operaciones entre ellas.