Man könnte übrigens wirklich eine Notation für (Ex).fx einführen, in der man es durch ein Zeichen “fr V fs V ft V …” ersetzt und dürfte dann damit rechnen, wie mit einer logischen Summe; es müssten aber die Regeln vorgesehen sein, nach denen ich diese Notation immer in die von “(Ex).fx” zurücknehmen kann und die also das Zeichen “fa V fb V fc V …” von dem einer logischen Summe unterscheiden. Der Zweck dieser Notation wäre nur der, in gewissen Fällen leichter mit (Ex).fx rechnen zu können.