Aber kann man aus einer Regel ersehen, unter welchen Umständen ein Irrtum in der Verwendung der Rechenregeln logisch ausgeschlossen ist || sein soll?
     Was nützt uns hier || so eine Regel? könnten wir uns in || bei ihrer Anwendung nicht (wieder) irren?