p>
</dd>
<dt>  <em>Aussage - predicate</em></dt>
<dd><p>       Ausdr&uuml;cke, die zu den booleschen Werten <code>true</code> oder <code>false</code>
       auswerten.
</p>
</dd>
<dt>  <em>Aussagefunktion - predicate function</em></dt>
<dd>       <br>

</dd>
<dt>  <em>Auswertung - evaluation</em></dt>
<dd><p>       Ausdr&uuml;cke werden zun&auml;chst ausgewertet.  Funktionen werden aufgerufen,
       die Werte von Variablen werden eingesetzt.  Die Auswertung wird von
       der Vereinfachung (Simplification