Und wie errechnet man “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 Disjunktion nach einer Schlußregel ableiten.