Volltext
Ziel: Zeige ϕ ∈ T hP
Vorgehen: Zeige AXP ∪ IN DP `K ϕ
AXP Axiome ¨uber Datenstrukturen und Algorithmen von P IN DP Induktionsaxiome
K korrekter Kalk¨ul
• Auswertung von definierten Funktionssymbolen:
Anwendung von definierenden Gleichungen EP auf beliebige Terme
• Auswertung von ∧ und ¬:
ξ ∧ TRUE →P ξ TRUE ∧ ξ →P ξ
ξ ∧ FALSE →P FALSE FALSE ∧ ξ →P FALSE
¬FALSE →P TRUE
• Auswertung von ≡:
– t ≡ t →P TRUE
– Anwendung von ¨Aquivalenzaxiomen AXs f¨ur Datenstrukturen
1
ÄHNLICHE DOKUMENTE
My bathroom is a mess, he ruined my makeover photos and he plays the violin – badlyB. Read Bridget's complaints
My bathroom is a mess, he ruined my makeover photos and he plays the violin – badly. Read Bridget's complaints
F¨ ur die Rechnung ben¨ otigen Sie einen k¨ unstlichen rechten Rand, etwa bei x = 10. Was ist dort eine pas- sende
F¨ ur die Rechnung ben¨ otigen Sie einen k¨ unstlichen rechten Rand, etwa bei x = 10. Was ist dort eine pas- sende
[r]
Bestimmen Sie alle offenen konvexen Mengen auf denen f beziehungsweise −f
(Tipp: Die Umkehrabbildung einer stetigen Bijektion zwischen kompakten Mengen ist
Als Ableitung einer holomorphen Funktion ist dann
