Ejercicio · ZW-DEMOSTRACION-FORMAL-001 · ★☆☆ Básico
Una demostración formal es una...
Elige una opción.
Ver respuesta
- D. Secuencia finita de fórmulas justificadas
Explicación
Una demostración formal se define como una secuencia finita de fórmulas, cada una justificada. Las demás opciones describen objetos que no tienen esa estructura ordenada y justificada.
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-002 Cada línea de una demostración formal debe ser...
- 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…