Definiciones Logica: Prueba a partir de Γ (Γ⊢α)

Question

Prueba a partir de Γ (Γ⊢α)

PAZ ARAMBURU · Accepted Answer

α se prueba a partir de Γ si existe una prueba α1,...,αn tal que:
- α = αn
- αi tiene dos opciones: 
      1) αi es una instancia de axioma
      2) αi ∈ Γ
      3) αi se obtiene por MP de αj, αk con j,k<i

Definiciones Logica

Prueba a partir de Γ (Γ⊢α)

Α se prueba a partir de Γ si existe una prueba α1,...,αn tal que: - α = αn - αi tiene dos opciones: 1) αi es una instancia de axioma 2) αi ∈ Γ 3) αi se obtiene por MP de αj, αk con j,k<i

Author