Man könnte übrigens wirklich eine Notation einfuh für (∃x) ∙ φx einführen in der man es durch ein Zeichen „φα ⌵ φβ ⌵ φγ ⌵ …” ersetzt & dürfte dann damit rechnen wie mit einer and logischen Summe; es müßten aber die Regeln vorgesehen sein nach denen ich diese Notation immer in die von „(∃x) ∙ φx” zurücknehmen kann & die also das Zeichen „φa ⌵ φb ⌵ φc ⌵ …” von dem einer logischen Summe unterscheiden. Der Zweck dieser Notation wäre nur[,| d]er, in gewissen Fällen leichter mit (∃x) φx rechnen zu können.