Und wie errechnet mann “9 ist durch 3 teilbar”? Man könnte es als eine Disjunktion auffassen und erst rechnen 9 : 3 = 3 und dann statt dieses bestimmten Satzes die Disju[j|n]ktion nach einer Schlussregel ableiten.