Ejercicio · ZW-SISTEMA-AXIOMATICO-001 · ★☆☆ Básico
Un sistema axiomático incluye...
Elige una opción.
Ver respuesta
- C. Lenguaje, axiomas y reglas
Ejercicio · ZW-SISTEMA-AXIOMATICO-001 · ★☆☆ Básico
Elige una opción.
La definición exige tres componentes: lenguaje formal, axiomas y reglas de inferencia. Las otras opciones describen ideas o recursos que no forman parte de ella.
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.