)</code> ist dann m&ouml;glich, wenn <var>pred_k</var> eine 
relationale Aussage ist.  Aussagen der Form <code>not (<var>pred_1</var> and
<var>pred_2</var>)</code> und <code>not (<var>pred_1</var> or <var>pred_2</var>)</code> sind dagegen nicht
m&ouml;glich.
</p>
<p>Der Folgerungsmechanismus von Maxima ist nicht sehr stark.  Viele 
Schlu&szlig;folgerungen k&ouml;nnen von Maxima nicht abgeleitet werden.  Dies ist 
eine bekannte Schw&auml;che von Maxima.
</p>
<p><code>assume</code> behandelt keine Aussagen mi