Ejercicio · ZW-CONSISTENCIA-005 · ★☆☆ Básico

Para estudiar consistencia se pregunta si el sistema puede probar...

Elige una opción.

Ver respuesta
  • A. P y ¬P simultáneamente

Explicación

Para estudiar consistencia se busca si el sistema demuestra a la vez \(P\) y su negación \(\neg P\).

Abrir el mapa de ZWMath →

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-004 ZW-CONSISTENCIA-006 →