Zusammenfassung
Die formale Manipulation von Formeln durch Substitution und Umbenennung spielt in der Aussagenlogik keine besondere Rolle. In der Prädikatenlogik dagegen sind Substitutionen und Umbenennungen unumgängliche Bestandteile der Kalküle, so daß sie nicht nur nur eine technische Bedeutung haben. Bei der Substitution werden in Formeln Variablen durch Terme ersetzt. Auch wenn die Ersetzung selbst einfach und äußerst natiirlich ist, so ist sie im Hinblick auf die Gültigkeit einer Formel doch mit Schwierigkeiten behaftet, die eine genauere Betrachtung erfordern. Urn sicherzustellen, daß durch die Substitution eine Folgerung entsteht, müssen Nebenbedingungen zum Auftreten von Variablen formuliert werden. Sind bei der Substitution einer Formel solche Nebenbedingungen nicht erfüllt, können diese durch die Umbenennung von Variablen erftillt werden, wobei wiederum gewisse Voraussetzungen zu berücksichtigen sind.
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
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ehrig, H., Mahr, B., Große-Rhode, M., Cornlius, F., Zeitz, P. (2001). Substitution und Umbenennung. In: Mathematisch-strukturelle Grundlagen der Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-56792-6_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-56792-6_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41923-5
Online ISBN: 978-3-642-56792-6
eBook Packages: Springer Book Archive