Advertisement

Normaldeduktive alternäre →⌝Aussagenlogik

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

Zusammenfassung

Nach Satz 27 (§38) bilden die VerknÜpfungen → und ⌝ eine Basis der aussagenlogischen VerknÜpfungen. Das Begriffsnetz einer hierzu gehörigen deduktiven Logik hat durch Aufschichtungsregeln anzugeben, was unter einer „→⌝-Aussagenform“ zu verstehen ist. Das ist in §25 geschehen; derjenige Teil des dort gegebenen Begriffsnetzes, der sich bloß auf Aussagenformen bezieht, wird hier in evidenter Weise Übernommen (die zugehörige Erklärung der Ordnung ist dagegen aus § 63 zu entnehmen).

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