Diferencia entre revisiones de «Práctica 5 (LyC Verano)»

De Cuba-Wiki
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

c)

Ejercicio 03

Ejercicio 04

Ejercicio 05

Ejercicio 06

Ejercicio 07

Ejercicio 08

Ejercicio 09

Ejercicio 10

Ejercicio 11

Ejercicio 12

Ejercicio 13