Diferencia entre revisiones de «Práctica 5 (LyC Verano)»
De Cuba-Wiki
Sin resumen de edición |
Sin resumen de edición |
||
| Línea 22: | Línea 22: | ||
==Ejercicio 04== | ==Ejercicio 04== | ||
==Ejercicio 05== | ==Ejercicio 05== | ||
<font color=white> | <font color=white>code0314</font> | ||
==Ejercicio 06== | ==Ejercicio 06== | ||
<font color=white> | <font color=white>code0316</font> | ||
==Ejercicio 07== | ==Ejercicio 07== | ||
==Ejercicio 08== | ==Ejercicio 08== | ||
<font color=white> | <font color=white>code0317</font> | ||
==Ejercicio 09== | ==Ejercicio 09== | ||
==Ejercicio 10== | ==Ejercicio 10== | ||
<font color=white> | <font color=white>code0401</font> | ||
==Ejercicio 11== | ==Ejercicio 11== | ||
<font color=white> | <font color=white>code0403</font> | ||
==Ejercicio 12== | ==Ejercicio 12== | ||
==Ejercicio 13== | ==Ejercicio 13== | ||
<font color=white> | <font color=white>code0406</font> | ||
[[Category:Lógica y Computabilidad]] | [[Category:Lógica y Computabilidad]] | ||
Revisión del 17:33 2 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
c)
Ejercicio 03
Ejercicio 04
Ejercicio 05
code0314
Ejercicio 06
code0316
Ejercicio 07
Ejercicio 08
code0317
Ejercicio 09
Ejercicio 10
code0401
Ejercicio 11
code0403
Ejercicio 12
Ejercicio 13
code0406
