3.2. Sintaxis

• un conjunto finito de variables proposicionales, P, para las que utilizaremos letras minúsculas (p, q, r..) o bien (en los ejemplos ilustrativos) palabras o frases (hay_llamada_entrante, el_paciente_tiene_fiebre...)
• símbolos de conectivas: ¬ (negación) , (disyunción), (conjunción) , (condicional), y (bicondicional).

Se llaman sentencias (o «wff» , por «well formed formula» ) a las cadenas de símbolos formadas siguiendo unas reglas gramaticales. Utilizaremos las letras griegas , , ... como metasímbolos para referirnos a sentencias genéricas.

Las reglas de la gramática (Apartado 2.4.2) son:

1. p,q,r... P son sentencias
2. Si es una sentencia, (¬) es una sentencia
3. Si y son sentencias, ( ) es una sentencia
4. Si y son sentencias, ( ) es una sentencia
5. Si y son sentencias, ( ) es una sentencia
6. Si y son sentencias, ( ) es una sentencia

En notación BNF:

::=p|q|r|...|
(¬)|
( )|
( )|
( )|
( )

Utilizaremos los paréntesis como símbolos auxiliares, para evitar ambigüedades, aunque se puede prescindir de ellos con un convenio de precedencia. Por ejemplo, la sentencia = pq r podría haberse formado aplicando la regla 3 sobre q y r y luego la regla 4, o bien aplicando primero la regla 4 sobre p y q y luego la regla 3. Para no tener que recordar qué regla tiene precedencia, escribiremos, respectivamente, = p (q r) o = (p q) r

 DIT-ETSIT-UPM