Ejercicio · ZW-COMPLETITUD-LOGICA-009 · ★★★ Avanzado
Selecciona consecuencias de un cálculo completo.
Selecciona todas las respuestas correctas.
Ver respuesta
- A. Toda consecuencia válida es derivable
- B. No quedan verdades lógicas válidas fuera del sistema
← Volver a la pregunta
Un cálculo \(\mathcal{S}\) es completo si toda fórmula \(\varphi\) válida bajo su semántica es demostrable en \(\mathcal{S}\).
\[\mathcal{S}\models\varphi\Rightarrow\mathcal{S}\vdash\varphi\]
Más ejercicios de completitud lógica