Man könnte es als eine Disjunktion auffassen & dann erst berechnen || rechnen 9 : 3 = 3 und dann statt dieses bestimmten Satzes die Disjunktion nach einer Schlußregel einsetzen. || ableiten.