Definición 2.2 (Proposiciones bien formadas en enfijo)
El conjunto de
PROPOSICIONES BIEN FORMADAS, en notación de enfijo, sobre
![$X$](img146.png)
es
![$\mbox{\rm Pbf}(X)\subset (X\cup E\cup \{(,)\})^*$](img970.png)
y está definido recursivamente como sigue:
- Si
es una variable proposicional entonces
es una
proposición bien formada y su conectivo principal es vacío:
- Si
es una proposición, sea
si el conectivo principal de
es
y sea
en otro caso.
es la negación de
y es también una proposición:
- Si
y
son dos proposiciones, definamos
es la implicación de
a
y es también una proposición: