Diferencia entre revisiones de «Práctica 5 (LyC Verano)»
De Cuba-Wiki
(→b)) |
(→a)) |
||
| Línea 2: | Línea 2: | ||
==Ejercicio 02== | ==Ejercicio 02== | ||
===a)=== | ===a)=== | ||
*1.SP3: (¬φ → ¬φ) → [ (¬φ → φ) → φ ] | *1.SP3: (¬φ → <font color=red>¬φ</font>) → [ (¬φ → <font color=red>φ</font>) → φ ] | ||
*2.VALE: (¬φ → ¬φ) (ya que p → p es tautologia) | *2.VALE: (¬φ → ¬φ) (ya que p → p es tautologia) | ||
*3.MP 1 y 2: (¬φ → φ) → φ | *3.MP 1 y 2: (¬φ → φ) → φ | ||
→ (¬φ → φ) → φ es tautologia | → (¬φ → φ) → φ es tautologia | ||
===b)=== | ===b)=== | ||
*1.SP1: (ψ→θ)→( φ→(ψ→θ) ) | *1.SP1: (ψ→θ)→( φ→(ψ→θ) ) | ||
Revisión del 02:52 1 mar 2007
Ejercicio 01
Ejercicio 02
a)
- 1.SP3: (¬φ → ¬φ) → [ (¬φ → φ) → φ ]
- 2.VALE: (¬φ → ¬φ) (ya que p → p es tautologia)
- 3.MP 1 y 2: (¬φ → φ) → φ
→ (¬φ → φ) → φ es tautologia
b)
- 1.SP1: (ψ→θ)→( φ→(ψ→θ) )
- 2.AXb: ψ→θ
- 3.MP 1 y 2: φ→(ψ→θ)
- 4.SP2: ( φ→(ψ→θ) ) → ( (φ→ψ)→(φ→θ) )
- 5.MP 3 y 4: (φ→ψ)→(φ→θ)
- 6.AXb: φ→ψ
- 7.MP 5 y 6: φ→θ
→ φ→θ es tautologia
