Ejercicio · ZW-CONSISTENCIA-009 · ★★★ Avanzado
¿Cuál afirmación sobre consistencia es correcta?
Elige una opción.
Ver respuesta
- A. Un modelo puede servir como evidencia de consistencia relativa
Explicación
Un modelo que satisface la teoría da evidencia de consistencia relativa al marco en que se construye. Las demás confunden consistencia con demostrar todo o con tener axiomas.
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-008 La consistencia pregunta si existe una derivación simultánea de...