Ejercicio · ZW-SISTEMA-AXIOMATICO-005 · ★☆☆ Básico

Un sistema axiomático puede estudiarse preguntando si es...

Elige una opción.

Ver respuesta
  • C. Consistente

Explicación

Consistencia significa que no se pueden derivar una fórmula y su negación. Las otras palabras no son propiedades de los sistemas axiomáticos.

Abrir el mapa de ZWMath →

Repasa el concepto: Sistema axiomático

Un sistema axiomático es una terna \(\mathcal{S}=(\mathcal{L},\mathcal{A},\mathcal{R})\) formada por un lenguaje formal, axiomas y reglas de inferencia.

\[\mathcal{S}=(\mathcal{L},\mathcal{A},\mathcal{R})\]

Más ejercicios de sistema axiomático

← ZW-SISTEMA-AXIOMATICO-004 ZW-SISTEMA-AXIOMATICO-006 →