Edición de «Práctica 4 (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 28: | Línea 28: | ||
<br> ←) Si v(α)=0 ٧ v(β)=1 → v(α→β)=1 | <br> ←) Si v(α)=0 ٧ v(β)=1 → v(α→β)=1 | ||
<br> →) Sup que no. Hay 4 casos: | <br> →) Sup que no. Hay 4 casos: | ||
*α T y β F → v(α→β)=0 | *α T y β F → v(α→β)=0 | ||
*α T y β C → si v(β)=0 → v(α→β)=0 | *α T y β C → si v(β)=0 → v(α→β)=0 | ||
*α C y β F → si v(α)=1 → v(α→β)=0 | *α C y β F → si v(α)=1 → v(α→β)=0 | ||
*α C y β C → Sea el caso α=β → v(α→β)=1, pero <math> Var(\alpha) \cap Var(\beta) \neq \empty </math> (ABS) | *α C y β C → Sea el caso α=β → v(α→β)=1, pero <math> Var(\alpha) \cap Var(\beta) \neq \empty </math> (ABS) | ||