Teorema de Deducción • El teorema de deducci´ on es fundamental y de uso diario por los seres inteligentes. • Formalmente dice lo siguiente: Sea Σ ⊆ L(P ) entonces Σ |= (ϕ → ψ) si y s´ olo si Σ ∪ {ϕ} |= ψ • Ejercicio: demu´estrelo.
Jorge Baier Aranda, PUC
<< Atr´as
35