Edición de «Práctica 5 (LyC Verano)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 50: | Línea 50: | ||
===a)=== | ===a)=== | ||
'''Inducción:'''<br> | '''Inducción:'''<br> | ||
C.B. : Es facil verlo. | C.B. : Es facil verlo. | ||
H.I. : Es consistente Γn | H.I. : Es consistente Γn | ||
q.v.q. : Si cumple Γn entonces cumple Γn+1 | q.v.q. : Si cumple Γn entonces cumple Γn+1 | ||
Por la manera en que se construye hay que ver 2 casos: | Por la manera en que se construye hay que ver 2 casos: | ||
Γn U φn : Es consistente por definición | Γn U φn : Es consistente por definición |