Lógica III

Ejercicios PL

(1) Dar demostraciones axiomáticas de lo siguiente (sin toolkit ni teorema de deducción)

(1.1) ├ P→(¬ P→Q)

(1.2) ├ P→ (Q→Q)

(2) Dar una demostración axiomática de lo siguiente (usando el toolkit y el teorema de deducción)

├ φ→[(φ→ψ)→ψ]

(3) Mostrar por inducción que el valor de verdad de una fbf depende sólo del valor de verdad de
las letras sentenciales que la componen. Esto es, mostrar que para toda fbf ϕ y todas las PL
interpretaciones ƒ y ƒ’, si ƒ(α)=ƒ’(α) para cada letra sentencial α en ϕ, entonces Vƒ (ϕ) = Vƒ’ (ϕ).

(4)Completar la prueba de corrección mostrando que todas las instancias de los esquemas de
axioma PL2 y PL3 son válidas.