Práctica 5 (LyC Verano)

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: φ→θ

→ {φ→ψ,ψ→θ} infiere φ→θ

c)

(Falta verificar)

• 1.SP2: ( [¬φ → ¬ψ]→(φ→[ψ → φ]) ) → ( ([¬φ → ¬ψ]→φ)→([¬φ → ¬ψ]→[ψ → φ]) )
• 2.SP1: φ→[ψ → φ]
• 3.VALE: [¬φ → ¬ψ]→(φ→[ψ → φ]) = [¬φ → ¬ψ]→T = tautologia
• 4.MP 1 y 3: ([¬φ → ¬ψ]→φ)→([¬φ → ¬ψ]→[ψ → φ])
• 5.??

Ejercicio 05

code0314

Ejercicio 06

code0316

Ejercicio 08

code0317

Ejercicio 10

code0401

Ejercicio 11

code0403

Ejercicio 13

code0406