symbolisches Rechnen:
Prinzip: beantworte semantische Fragen durch syntaktische Umformungen.
(Menge der Umformungsregeln: Kalkül.)