Funktion g: Aussagenlogik < Lineare Algebra < Hochschule < Mathe < Vorhilfe
|
Status: |
(Frage) reagiert/warte auf Reaktion | Datum: | 13:38 So 13.11.2005 | Autor: | Franzis |
Hallo, ich habe ein Problem, Ich soll eine Funktion g:AL [mm] \to \IN [/mm] rekursiv definieren, so daß g die Anzahl der Negationszeichen jeder Formel aus AL angibt.
Ich weiß nicht wie ich das zeigen soll? Habe keinen Anfang?
|
|
|
|
> Hallo, ich habe ein Problem, Ich soll eine Funktion g:AL
> [mm]\to \IN[/mm] rekursiv definieren, so daß g die Anzahl der
> Negationszeichen jeder Formel aus AL angibt.
> Ich weiß nicht wie ich das zeigen soll? Habe keinen Anfang?
Hallo,
wenn ich wüßte, was mit der Menge AL gemeint ist, könnte ich feststellen, ob ich die Aufgabe lösen kann, oder nicht.
Ich glaube nicht, daß AL eine ALlgemein bekannte Bezeichnung ist. Oder etwa doch?
Gruß v. Angela
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 07:18 Di 15.11.2005 | Autor: | Franzis |
Hallo, mit AL ist die Aussagenlogik gemeint im allgemeinen. Wenn Ihr mir erklären könntet, wie das mit einer anderen Fuktion geht, könnte ich das eventuell auf meine Aufgabe anwenden.
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 20:59 Mi 16.11.2005 | Autor: | Loddar |
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 .
Gruß
Loddar
|
|
|
|