Diskussion:Termkalkül
Letzter Kommentar: vor 11 Jahren von 217.84.66.112 in Abschnitt Beispiele: v0 ein S-Term, ohne vorher ausdrücklich als "Variable" "Gegeben" zu sein?
Beispiele: v0 ein S-Term, ohne vorher ausdrücklich als "Variable" "Gegeben" zu sein?
[Quelltext bearbeiten].. sonst stimmt "nach Regel 1 ist nämlich v0 ein S-Term." nicht. Auch gBrotfc wäre dann nach Regel 1 ein S-Term .. ?! --217.84.66.112 13:52, 4. Nov. 2013 (CET)