Ejercicio · ZW-SISTEMA-AXIOMATICO-009 · ★★☆ Intermedio
¿Cuál de estas afirmaciones sobre un sistema formal es correcta?
Elige una opción.
Ver respuesta
- C. Sus teoremas son las fórmulas derivables desde los axiomas con las reglas
Explicación
Los teoremas son exactamente las fórmulas que se obtienen de los axiomas mediante las reglas. Cambiar las reglas altera lo que se deriva, y las otras opciones confunden la prueba formal con la evidencia o la opinión.
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-001 Un sistema axiomático incluye...
- ZW-SISTEMA-AXIOMATICO-002 Los axiomas funcionan como...
- ZW-SISTEMA-AXIOMATICO-003 Una derivación dentro de un sistema axiomático es...
- ZW-SISTEMA-AXIOMATICO-004 Las reglas de un sistema axiomático indican...
- ZW-SISTEMA-AXIOMATICO-005 Un sistema axiomático puede estudiarse preguntando si es...
- ZW-SISTEMA-AXIOMATICO-006 Un sistema axiomático parte de...
- ZW-SISTEMA-AXIOMATICO-007 Un axioma es una afirmación que...
- ZW-SISTEMA-AXIOMATICO-008 Las reglas de inferencia indican...