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 179: | Línea 179: | ||
===a)=== | ===a)=== | ||
<br> →) supongamos que no. Vale Con({β}) | <br> →) supongamos que no. Vale Con({β})es incluido por Con({X}) perno el v(α→β)=0 | ||
Existe una v valuacion tal que v(α→β)=0. v(α)=1 y v(β)=0 entonces v(Con({α}))=1 y v(Con({β}))=0 pero esto es abusurdo. | Existe una v valuacion tal que v(α→β)=0. v(α)=1 y v(β)=0 entonces v(Con({α}))=1 y v(Con({β}))=0 pero esto es abusurdo. | ||
<br> ←) | <br> ←) | ||
importa ver que cuando v(α)=1 obliga a v(β)=1 para ser tautologia entonces cuando v(Con({α}))=1 obliga v(Con({β}))=1 entonces Con({β}) | importa ver que cuando v(α)=1 obliga a v(β)=1 para ser tautologia entonces cuando v(Con({α}))=1 obliga v(Con({β}))=1 entonces Con({β}) includia en Con({α}) | ||
===b)=== | ===b)=== |