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