Du befindest dich hier: Aussagenlogik

Evaluierung einer Formel unter einer Interpretation

(Aussagenlogik Kapitel 5)

Bei der Arbeit mit Wahrheitstabellen haben wir gesehen, dass wir die Bewertung einer Formel unter einer Interpretation erhalten, wenn wir Schritt für Schritt alle Teilformeln evaluieren.

Aber gibt es nicht eine effizientere Methode, eine Formel zu bewerten?

• Wir wollen zunächst die Junktoren betrachten, um zu sehen, ob wirklich alle Teilformeln bewertet werden müssen um eine Formel evaluieren zu können, bzw. wo eventuell Einsparungen gemacht werden können.
   
  
• Wir werden uns die Evaluierung einer Formel unter Berücksichtigung der vorangehenden Überlegungen ansehen
   
• Anschließend stellen wir Betrachtungen zur tatsächlich möglichen Ersparnis an.
   
• Die Möglichkeit, die Evaluierung einer Formel zu üben, schließt dieses Kapitel ab.

• zurück zu Beispiele
• zum Seitenanfang
• weiter zu Bewertung der Junktoren

. .