Nun aber die Sätze: „(∃φ,x) .φ(x)”
                und „~(∃φ,x) . φ(x)”
Welcher von ihnen ist eine Tautologisch welcher contradictorisch?