Edición de «Práctica 5 (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 31: | Línea 31: | ||
*3.MP 1 y 2: (¬φ → ψ) → φ | *3.MP 1 y 2: (¬φ → ψ) → φ | ||
*4.SP1: ψ → (¬φ → ψ) | *4.SP1: ψ → (¬φ → ψ) | ||
*5.USANDO 3 y 4: { | *5.USANDO 3 y 4: {ψ → (¬φ → ψ), (¬φ → ψ) → φ} |- (ψ → φ) (x punto b) | ||
<br>→Vale (ψ → φ) | <br>→Vale (ψ → φ) | ||
<br>→ |- (¬φ → ¬ψ)→(ψ → φ) | <br>→ |- (¬φ → ¬ψ)→(ψ → φ) |