Advertisement

Der Herbrandsche Satz

  • Martin Ziegler
Part of the Mathematik Kompakt book series (MAKO, volume 0)

Zusammenfassung

Zwei Formeln φ und heißen äquivalent, wenn sie in allen Strukturen auf die gleichen Elemente zutreffen, oder anders gesagt, wenn φ↔ϕ allgemeingültig ist. Man sieht nun, daß die Negation einer universellen Formel ∀x1…∀x n äquivalent zur existentiellen Formel ∃x1…∃x n ¬ϕ ist. Die Negation einer existentiellen Formel ist äquivalent zu einer universellen Formel.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser / Springer Basel AG 2010

Authors and Affiliations

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

Personalised recommendations