Ejercicio · ZW-CONSISTENCIA-008 · ★★☆ Intermedio
La consistencia pregunta si existe una derivación simultánea de...
Elige una opción.
Ver respuesta
- B. Una fórmula y su negación
Explicación
La consistencia pregunta si el sistema deriva a la vez una fórmula y su negación, que es la contradicción buscada.
Repasa el concepto: Consistencia
Un sistema \(\mathcal{S}\) es consistente si no existe una fórmula \(\varphi\) tal que \(\mathcal{S}\) demuestre \(\varphi\) y \(\neg\varphi\).
\[\\neg\\exists\\varphi\\,(\\mathcal{S}\\vdash\\varphi\\wedge\\mathcal{S}\\vdash\\neg\\varphi)\]
Más ejercicios de consistencia
- ZW-CONSISTENCIA-001 Un sistema es consistente si...
- ZW-CONSISTENCIA-002 ¿Qué situación señala una inconsistencia?
- ZW-CONSISTENCIA-003 Si un sistema tiene axiomas contradictorios, puede ocurrir que...
- ZW-CONSISTENCIA-004 La consistencia es una propiedad de...
- ZW-CONSISTENCIA-005 Para estudiar consistencia se pregunta si el sistema puede probar...
- ZW-CONSISTENCIA-006 Un sistema es inconsistente si demuestra...
- ZW-CONSISTENCIA-007 En una teoría clásica inconsistente puede aparecer el principio de...
- ZW-CONSISTENCIA-009 ¿Cuál afirmación sobre consistencia es correcta?