Hola,
En el ejercicio definen 2 conectivos, y pide demostrar que el conjunto integrado por unicamente dichos 2 conectivos son funcionalmente completos.
Que significa que un conjunto de conectivos es funcionalmente completo?
Porque mi duda esta en que tengo que llegar para demostrarlo (Lo cual viene de la mano con la pregunta anterior).
saludos,
Lucas.
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.