551
Man könnte übrigens wirklich eine Notation
für
552
(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
oder “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.