Wenn φa ∙ φb ∙ ψc ∙ ψd dann kann ich sagen daß 4 Dinge φ ⌵ ψ genügen, aber wenn es keinen Begriff gibt unter den nur 2 Dinge fallen dann stimmt natürlich auch der Satz: (Е2x) φx ∙ (Е2x) ψx ∙ Ind. . ⊃ . (Е6x) φx ⌵ ψx. Das zeigt daß diese Satzform gar nicht gibt, was ich mit 2 + 2 = 4 meine. Ich brauche vielmehr etwas, was anzeigt, daß aus (Е2x) φx ∙ (Е2x) ψx ∙ Ind., (Е4x) φx ⌵ ψx folgt. Das zeigt aber z.B. die Tautologie die bei der Verknüpfung durch ⊃ entsteht.