Nächste Seite: Aufgabe 43
Vorige Seite: Übungen zu Kapitel 3
-
Was ist ein formales (logisches) System(dh. ein
Logik-Kalkül)?
-
Wie ist die Eigenschaft der Monotonie in einem formalen System
definiert?
-
In welcher Weise und Ausprägung verletzt eines der
``Larissa''-Beispiele (vgl. Beispiel 3.2) die
Monotonieeigenschaft?
Christoph Quix, Thomas List, René Soiron
30. September 1996