Acciones

Problema 2

De Lógica matemática y fundamentos (2012-13)

Revisión del 21:35 18 feb 2013 de Jalonso (discusión | contribuciones) (Página creada con '== Enunciado == ¿Existe un conjunto S de tres fórmulas tal que de todos los subconjuntos de S sólo uno es inconsistente? == Soluciones colaborativas ==')
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Enunciado

¿Existe un conjunto S de tres fórmulas tal que de todos los subconjuntos de S sólo uno es inconsistente?

Soluciones colaborativas

Obtenido de «https://www.glc.us.es/~jalonso/LMF2013/index.php?title=Problema_2&oldid=66»