Zusammenfassung
Ein Alphabet der Aussagenlogik oder Alphabet nullter Ordnung ist ein geordnetes Tripel A0 : = (V0, J1, J2) aus paarweise disjunkten Mengen, so daß ∣V0∣ = ℵ0 die Elemente von V0 heißen Aussagevariablen, J1 = {N}, N heißt das Negationszeichen, J2 = {A, K, C, B}, A, K, C, B heißen das Zeichen für die Alternative, Konjunktion, Implication, Äquivalenz.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1967 Westdeutscher Verlag, Köln und Opladen
About this chapter
Cite this chapter
Fenske, C. (1967). Aussagenlogik. In: Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth. Forschungsberichte des Landes Nordrhein-Westfalen, vol 1740. VS Verlag für Sozialwissenschaften, Wiesbaden. https://doi.org/10.1007/978-3-322-96252-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-322-96252-2_3
Publisher Name: VS Verlag für Sozialwissenschaften, Wiesbaden
Print ISBN: 978-3-322-96118-1
Online ISBN: 978-3-322-96252-2
eBook Packages: Springer Book Archive