rekursive funksjoner
Posted: 19/09-2015 12:19
Jeg har problem med denne oppgaven.
La Hyp(D) være en rekursiv funksjon fra utledninger til mengder av formler, slik at Hyp(D) er nøyaktig de ̊apne antakelsene i D. Du kan anta at vi alltid lukker alle de antakelsene vi kan lukke.
For eksempel, for ∧I: Vi starter med D1 φ og D2 ψ, og setter sammen til utledningen (D1φ D2ψ )/(φ∧ψ ). Da har vi
Hyp(D1φ D2ψ )/(φ∧ψ ) = Hyp(D1φ) ∪ Hyp (D2ψ)
Gi hele definisjonen for Hyp(D).
La Hyp(D) være en rekursiv funksjon fra utledninger til mengder av formler, slik at Hyp(D) er nøyaktig de ̊apne antakelsene i D. Du kan anta at vi alltid lukker alle de antakelsene vi kan lukke.
For eksempel, for ∧I: Vi starter med D1 φ og D2 ψ, og setter sammen til utledningen (D1φ D2ψ )/(φ∧ψ ). Da har vi
Hyp(D1φ D2ψ )/(φ∧ψ ) = Hyp(D1φ) ∪ Hyp (D2ψ)
Gi hele definisjonen for Hyp(D).