Lenguaje formal

Símbolos y reglas

Un lenguaje formal es un sistema artificial con un vocabulario de símbolos y reglas explícitas para combinarlos. Las matemáticas y la lógica simbólica son ejemplos. En el cálculo proposicional se usan letras (p, q, r) para enunciados simples y símbolos para las conectivas.

Su ventaja es que elimina ambigüedades: cada fórmula tiene un único sentido y se puede revisar sin depender del contexto. Además se centra en la forma del razonamiento y no en su tema, de modo que dos argumentos distintos pueden tener exactamente la misma estructura.

Simbolizar consiste en traducir. Si p es «Llueve» y q es «Me mojo», entonces «Si llueve, me mojo» se escribe p → q. Con la fórmula ya construida, se pueden aplicar reglas o tablas de verdad.

Error típico

Pensar que simbolizar es resumir. Al traducir no puedes perder información relevante: si en el enunciado hay dos ideas distintas, necesitas dos letras diferentes, y si una idea se repite, debe usar la misma letra. También es error mezclar enunciados completos con palabras sueltas al asignar letras: cada letra representa una oración con valor de verdad.