Auszug
In der Mathematik und auch in anderen Wissenschaften wie z. B. der Informatik, hat man häufig mit Individuenbereichen zu tun, in denen gewisse Relationen und Operationen ausgezeichnet sind. Über Eigenschaften solcher Relationen und Funktionen kann man in der Sprache der Aussagenlogik nur teilweise und sehr eingeschränkt reden. Also muss man die sprachlichen Ausdrucksmittel verfeinern um neue Beschreibungsmöglichkeiten zu gewinnen. Dafür sind außer logischen Symbolen auch Variablen für die Individuen des betreffenden Bereichs nötig, sowie Symbole für die in Rede stehenden Relationen und Operationen.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2008 Vieweg+Teubner | GWV Fachverlage GmbH, Wiesbaden
About this chapter
Cite this chapter
Rautenberg, W. (2008). Prädikatenlogik. In: Einführung in die Mathematische Logik. Vieweg+Teubner. https://doi.org/10.1007/978-3-8348-9530-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-8348-9530-1_2
Publisher Name: Vieweg+Teubner
Print ISBN: 978-3-8348-0578-2
Online ISBN: 978-3-8348-9530-1
eBook Packages: Life Science and Basic Disciplines (German Language)