Bedingte Gleichungen

spezifiziert.

für Int und Bool:

x £ y Ù y £ z Þ x £ z

x < x + 1

Vorherige Folie Nächste Folie Zurück zur ersten Folie Graphik-Version anzeigen