Ist es gar nicht wahr, daß (∃x) φx immer als Disjunktion dargestellt werden kann? Ist das nur in speziellen Fällen möglich. Wie sich ja oft in besonderen Fallen eine Form auf eine andere reduziert
(Etwa q ∙ q – für p = q – auf p).