Hola Bruno:
Te sugiero que tengas en cuenta que las tautologías pertenecen necesariamente a cualquier conjunto consistente maximal (¿por qué?)
Con ese dato es fácil probar lo que pide el ejercicio.
Hola Bruno:
Te sugiero que tengas en cuenta que las tautologías pertenecen necesariamente a cualquier conjunto consistente maximal (¿por qué?)
Con ese dato es fácil probar lo que pide el ejercicio.