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