Du befindest dich hier: Aussagenlogik

Evaluierung einer Formel unter einer Interpretation

(Aussagenlogik Kapitel 5)
 
Subfenster schließen
Die Teilformelrelation