Monotone Formeln Theor. Info < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) für Interessierte  | | Datum: | 18:41 Di 29.11.2005 | | Autor: | Franzis |
Ich wollte Fragen, wenn für eine Belegung B, B´mit der def(B) = def(B´) gegeben ist B(X) [mm] \le [/mm] B´(X) gilt und eine Formel [mm] \mu \in [/mm] AL monoton ist , wenn für alle Belegungen B,B´für [mm] \mu [/mm] mit B [mm] \le [/mm] B´, wie komme ich auf 2 Beispiele für monoton und für nichtmonotone Formeln
und wie zeige ich, daß alle Formeln [mm] \mu \in [/mm] AL [mm] ({0,1,\wedge,\vee}) [/mm] monoton sind? Ich habe keinen schimmer, wie ich die monotonie zeige.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 08:32 Fr 02.12.2005 | | Autor: | matux |
Hallo Franzis!
Leider konnte Dir keiner hier mit Deinem Problem in der von Dir vorgegebenen Zeit weiterhelfen.
Vielleicht hast Du ja beim nächsten Mal mehr Glück ![[kleeblatt]](/images/smileys/kleeblatt.gif "[kleeblatt]") .
Viele Grüße,
Matux, der Foren-Agent
Allgemeine Tipps wie du dem Überschreiten der Fälligkeitsdauer entgegenwirken kannst findest du in den Regeln für die Benutzung unserer Foren.
|
|
|
|
