Engere strikte Aussagenlogik

  • H. Arnold Schmidt
Part of the Die Grundlehren der Mathematischen Wissenschaften book series (GL, volume 69)

Zusammenfassung

Als Grundverknüpfungen werden benutzt:
  • zweistellige VerknÜpfung ∧: „und“ (Konjunktion)

  • zweistellige VerknÜpfung ≺: „bedingt“, ausfÜhrlicher „bedingt strikt“ (strikte Implikation)

  • einstellige VerknÜpfung ⌝: „nicht“ (Negation).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag OHG. Berlin · Göttingen · Heidelberg 1959

Authors and Affiliations

  • H. Arnold Schmidt
    • 1
  1. 1.Universität MarburgDeutschland

Personalised recommendations