Edición de «Parcial Lógica 13/10/06 (Lógica y Computabilidad)»
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 3: | Línea 3: | ||
===Demostraciones por Inducción y Conectivos Adecuados=== | ===Demostraciones por Inducción y Conectivos Adecuados=== | ||
a. Sea <math>\alpha</math> perteneciente a ''Form'', tal que los conectivos de | a. Sea <math>\alpha</math> perteneciente a ''Form'', tal que los conectivos de \alpha no aparece el conectivo unario ¬. | ||
1. Definir inductivamente <math>\alpha_R</math>, la | 1. Definir inductivamente <math>\alpha_R</math>, la f'ormula asociada a <math>\alpha</math> que se obtiene leyendo los s'imbolos de <math>\alpha</math> en orden inverso, cambiando el sentido de los par'entesis cuando corresponda. Por ejemplo, si <math>\alpha = ((p_1 \lor p_2) \to (p_4 \lor p_3))</math>, | ||
entonces <math>\alpha_R = ((p_3 \lor p_4) \to (p_2 \lor p_1)).</math> | entonces <math>\alpha_R = ((p_3 \lor p_4) \to (p_2 \lor p_1)).</math> | ||