Skip to main content

Formale Logik

  • Chapter
  • 122 Accesses

Part of the book series: Springer-Lehrbuch ((SLB))

Zusammenfassung

Die Mathematik ist ein Werkzeug, mit dessen Hilfe man aus bekannten Eigenschaften gegebener Objekte neue Eigenschaften dieser Objekte herleiten kann. Bei der Herleitung neuer Eigenschaften wird die Bedeutung der Objekte, also ihre Interpretation, nicht beachtet: Für den Nachweis, daß ein Optimierungsproblem eine eindeutige Lösung besitzt, ist es gleichgültig, ob die Zielfunktion den Gewinn einer Unternehmung oder den Nutzen eines Haushalts beschreibt. Die mathematische Schlußweise ist also formaler Natur.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Schmidt, K.D. (1998). Formale Logik. In: Mathematik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-97725-1_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-97725-1_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63768-4

  • Online ISBN: 978-3-642-97725-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics