Es correcto el planteo por inducción en PROP.
Sale más directo aplicando el lema 1.2.3:
Si v₁(pᵢ) = v₂(pᵢ) para toda pᵢ que ocurre en φ, entonces v₁(φ) = v₂(φ).
Es correcto el planteo por inducción en PROP.
Sale más directo aplicando el lema 1.2.3:
Si v₁(pᵢ) = v₂(pᵢ) para toda pᵢ que ocurre en φ, entonces v₁(φ) = v₂(φ).