Ejercicio · ZW-DEMOSTRACION-FORMAL-008 · ★★☆ Intermedio

Una línea de una prueba debe poder justificarse por...

Elige una opción.

Ver respuesta
  • A. Axioma, hipótesis o regla

Explicación

Cada línea debe justificarse por axioma, hipótesis o regla. La apariencia, la longitud o una votación no sirven como justificación.

Abrir el mapa de ZWMath →

Repasa el concepto: Demostración formal

Una demostración formal de \(\varphi_n\) es una sucesión \(\varphi_1,\ldots,\varphi_n\) en la que cada término es un axioma, una hipótesis admitida o el resultado de una regla aplicada a términos anteriores.

\[\varphi_1,\varphi_2,\ldots,\varphi_n\vdash\varphi_n\]

Más ejercicios de demostración formal

← ZW-DEMOSTRACION-FORMAL-007 ZW-DEMOSTRACION-FORMAL-009 →