2.1 Formalización

Formalizar quiere decir escribir una expresión de una manera estándar que todos entiendan.

Al trabajar con algoritmos lógicos, podemos estar pensando todo el rato en frases como ``Si llueve y no tengo paraguas, entonces me mojo''. Se puede, pero es muy largo. Es mejor representar cada acción con una letra, y escribir la frase usando esas letras y palabras sencillas como y, o, no, o entonces.

Ejemplo. Tenemos este vocabulario:

$L$: llover

$P$: tener paraguas

$M$: mojarse

La frase ``Si llueve y no tengo paraguas, entonces me mojo'' queda mejor como ``si $L$ y no $P$, entonces $M$''.

En la deducción natural se usará sólo la versión de las letras, con estas condiciones:

• Las letras (que se llaman letras proposicionales) van en mayúsculas.
• Se suelen usar las letras $P$, $Q$, $R$, $S$, ... aunque se puede usar cualquiera.
• Se usan unos símbolos especiales para los operadores y, o, no e implicación.