Skip to main content
Top
Published in:
Cover of the book

2009 | OriginalPaper | Chapter

Die Algebra des Logikkalküls

Published in: Historische Notizen zur Informatik

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

I. Wir setzen als ‘Grunderfahrung’ oder ‘Grundtatsache’ den Satz vom ausgeschlossenen Dritten (tertium non datur) voraus in der Fassung:

1. „Es gibt zwei und nur zwei Aussagewerte (— wahr einerseits, falsch andererseits).“

In einem Aussagen-Kalkül sollen diese Aussagewerte Elemente sein. Ein solcher soll gestatten, eindeutige und umkehrbar eindeutige Schlüsse zu ziehen, also zu rechnen. Es liegt nahe, für die Verknüpfung der Elemente Gruppeneigenschaft zu fordern. Wir fordern sie für zwei verschiedene Arten von Verknüpfungen, das heisst gerade: Wir fordern Körpereigenschaft.

2. „Die Aussagewerte sind Elemente eines Körpers.“

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Metadata
Title
Die Algebra des Logikkalküls
Copyright Year
2009
Publisher
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-540-85790-7_1

Premium Partner