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:
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 = p
q
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