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.