Ejercicio · ZW-DEMOSTRACION-FORMAL-002 · ★☆☆ Básico
Cada línea de una demostración formal debe ser...
Elige una opción.
Ver respuesta
- C. Un axioma, hipótesis permitida o consecuencia de una regla
Explicación
Toda línea debe justificarse por un axioma, una hipótesis permitida o una regla aplicada a líneas previas. Las otras opciones no son líneas lógicas.
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-001 Una demostración formal es una...
- ZW-DEMOSTRACION-FORMAL-003 La última línea de una demostración suele ser...
- ZW-DEMOSTRACION-FORMAL-004 Una demostración formal depende de...
- ZW-DEMOSTRACION-FORMAL-005 ¿Cuál paso no pertenece a una demostración formal?
- ZW-DEMOSTRACION-FORMAL-006 Una demostración formal es una secuencia de...
- ZW-DEMOSTRACION-FORMAL-007 El primer paso de una demostración puede ser...
- ZW-DEMOSTRACION-FORMAL-008 Una línea de una prueba debe poder justificarse por...
- ZW-DEMOSTRACION-FORMAL-009 Una prueba formal tiene las líneas P→ Q y P, ambas hipótesis permitidas. ¿Qué línea puede añadirse…