Advertisement

Wertverlauf

  • Friedrich L. Bauer
  • Martin Wirsing
Chapter
  • 153 Downloads
Part of the Mathematik für Informatiker book series (1211)

Zusammenfassung

Eine (Wert-)Belegung (truth assignment) ist eine Abbildung
$$v:\left\langle {atom} \right\rangle \to \{ T,F\} $$
der Menge aller (sic!) Unbestimmten in die Wahrheitswerte. Eine (Wert-)Belegung υ definiert für jede Aussageform α eine (vollständige) syntaktische Belegung ξ der in α vorkommenden Unbestimmten.1 Eine syntaktische Belegung für eine Aussageform α legt jedoch nur teilweise eine (Wert-)Belegung fest.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Friedrich L. Bauer
    • 1
  • Martin Wirsing
    • 2
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Deutschland
  2. 2.PassauDeutschland

Personalised recommendations