Ejercicio · ZW-REGLA-INFERENCIA-009 · ★★★ Avanzado
Cuál de estas opciones es una regla de inferencia válida que obtiene \(\psi\) a partir de \(\varphi \to \psi\) y \(\varphi\)?
Elige una opción.
Ver respuesta
- A. Modus ponens
Explicación
Modus ponens obtiene \(\psi\) de \(\varphi \to \psi\) y \(\varphi\); afirmar el consecuente es una falacia y cambiar un símbolo no es una regla.
Repasa el concepto: Regla de inferencia
Una regla de inferencia autoriza el paso formal de las premisas \(\varphi_1,\ldots,\varphi_n\) a la conclusión \(\psi\).
\[\frac{\varphi_1,\ldots,\varphi_n}{\psi}\]
Más ejercicios de regla de inferencia
- ZW-REGLA-INFERENCIA-001 Una regla de inferencia indica...
- ZW-REGLA-INFERENCIA-002 Una regla de inferencia normalmente relaciona...
- ZW-REGLA-INFERENCIA-003 Una conclusión en una demostración formal debe estar acompañada por...
- ZW-REGLA-INFERENCIA-004 En una demostración formal no se permite...
- ZW-REGLA-INFERENCIA-005 Las reglas de inferencia ayudan a separar...
- ZW-REGLA-INFERENCIA-006 Una regla de inferencia válida preserva...
- ZW-REGLA-INFERENCIA-007 Una regla de inferencia tiene típicamente...
- ZW-REGLA-INFERENCIA-008 Aplicar una regla sin que se cumplan sus premisas es...