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 189: | Línea 189: | ||
<br> 1. F α٨β no es consecuencia de α ni de β | <br> 1. F α٨β no es consecuencia de α ni de β | ||
<br> 2. F ni α ni β son consecuencias de α٧β | <br> 2. F ni α ni β son consecuencias de α٧β | ||
<br> 3. V Sup. que no. Entonces existe ψ tq ψ ε Con(α→β) y ¬( ψ ε Con(β) ). | <br> 3. V Sup. que no. Entonces existe ψ tq ψ ε Con(α→β) y ¬( ψ ε Con(β) ). | ||
* ψ ε Con(α→β) -> (<math>\forall</math>v) (¬v(α) ٧ v(β)) → v(ψ)) -> (<math>\forall</math>v) (¬v(α) → v(ψ)) ٨ (v(β) → v(ψ)). En particular, (<math>\forall</math>v) v(β) → v(ψ). | * ψ ε Con(α→β) -> (<math>\forall</math>v) (¬v(α) ٧ v(β)) → v(ψ)) -> (<math>\forall</math>v) (¬v(α) → v(ψ)) ٨ (v(β) → v(ψ)). En particular, (<math>\forall</math>v) v(β) → v(ψ). |