Advertisement

Der Herbrandsche Satz

  • Martin Ziegler
Chapter
Part of the Mathematik Kompakt book series (MAKO)

Zusammenfassung

Definition

Eine universelle Formel hat die Form
$$\displaystyle\forall x_{1}\ldots\forall x_{n}\psi,$$
wobei ψ eine quantorenfreie Formel ist. Existentielle Formeln haben die Form \(\exists x_{1}\ldots\exists x_{n}\psi\).

Copyright information

© Springer International Publishing Switzerland 2017

Authors and Affiliations

  • Martin Ziegler
    • 1
  1. 1.Mathematisches InstitutUniversität FreiburgFreiburgDeutschland

Personalised recommendations