Ejercicio · ZW-SISTEMA-AXIOMATICO-011 · ★★★ Avanzado
¿Cuál de estas fórmulas es teorema del sistema con axiomas \(p\), \(p\to q\) y \(q\to r\), usando modus ponens?
Elige una opción.
Ver respuesta
- A. \(r\)
Explicación
Con \(p\) y \(p\to q\) el modus ponens da \(q\); con \(q\) y \(q\to r\) da \(r\). Las demás no son derivables: son falsas cuando todas las letras valen verdadero, y los axiomas y la regla conservan esa valoració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...