Diferencia entre revisiones de «Práctica 5 (LyC Verano)»
De Cuba-Wiki
Sin resumen de edición |
|||
| Línea 1: | Línea 1: | ||
==Ejercicio 01== | ==Ejercicio 01== | ||
==Ejercicio 02== | ==Ejercicio 02== | ||
===a)=== | |||
*1.SP3: (¬φ → ¬φ) → [ (¬φ → φ) → φ ] | |||
*2.VALE: (¬φ → ¬φ) (ya que p → p es tautologia) | |||
*3.MP 1 y 2: (¬φ → φ) → φ | |||
→ (¬φ → φ) → φ es tautologia | |||
===b)=== | |||
===c)=== | |||
==Ejercicio 03== | ==Ejercicio 03== | ||
==Ejercicio 04== | ==Ejercicio 04== | ||
Revisión del 01:07 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
