Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
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 217: |
Línea 217: |
|
| |
|
| == Ejercicio 17 == | | == Ejercicio 17 == |
| <br>Sup. que no. Entonces α <math>\notin</math> Γ y β <math>\notin</math> Γ. Como Γ es MC -> ¬α <math>\in</math> Γ y ¬β <math>\in</math> Γ. Entonces debera valer (¬α٨¬β)
| | |
| <br>Por lo mismo, como α٧β <math>\in</math> Γ -> ¬(α٧β) <math>\notin</math> Γ -> (¬α٨¬β) <math>\notin</math> Γ. Con lo cual Γ no hace valer (¬α٨¬β) (ABS)
| |
|
| |
|
| [[Category:Prácticas]] | | [[Category:Prácticas]] |