Hola.
Para demostrar esto hay dos estrategias básicas:
- Demostrar que dada cualquier función de verdad (tabla) se puede construir una fórmula usando solamente esos conectivos que tenga esa tabla.
- Dar una función que indica cómo se puede construir una fórmula equivalente a cualquier fórmula de Prop usando sólo esos conectivos y luego probar por inducción que está bien definida.
La demostración 1 es la que hace el libro, haciendo una inducción en la cantidad de letras de proposición sobre las tablas.
Saludos
FDO.