Beweis/ Induktion |
newsys
Jungspund
Dabei seit: 04.11.2007
Beiträge: 15
|
|
Hallo,
ich soll dies Beweisen grad(F) < |F|
Habe keine Ahnung wie ich das machen muss....hhhiiilllfeee
|
|
27.04.2008 12:24 |
|
|
Tobias
Routinier
Dabei seit: 18.09.2006
Beiträge: 324
|
|
Immer wieder gerne sage ich: Wenn ihr Fragen stellt, dann geht NICHT davon aus, dass jeder jede Definition so kennt, wie ihr sie eingeführt habt. Und auch ein bisschen Kontext wäre schön.
Also:
Was ist F, was ist grad(.), was ist |.| ?
|
|
27.04.2008 12:28 |
|
|
newsys
Jungspund
Dabei seit: 04.11.2007
Beiträge: 15
|
|
Hier die komplette Aufgabenstellung:
Zeigen Sie durch strukturelle Induktion über den Aufbau von Formeln, dass gilt
grad(F) < |F|
Dabei bezeichnet |F| die Länge (Anzahl der Zeichen) in F.
Ich kenne den Aufbau einer Induktion aber anwenden ist wieder eine andere Sache. Induktionsanfang: für einen speziellen Wert und dann die Behauptung, dann der Ind.schritt.
|
|
27.04.2008 17:04 |
|
|
newsys
Jungspund
Dabei seit: 04.11.2007
Beiträge: 15
|
|
Als Induktionsanfang habe ich das hier:
Ist das so richtig? Und wie mache ich weiter??????
|
|
27.04.2008 17:45 |
|
|
Tobias
Routinier
Dabei seit: 18.09.2006
Beiträge: 324
|
|
Du magst den Aufbau der Formeln kennen, ich hingegen weiß noch nichtmal, von welchen Formeln du redest. Wie ist also der Aufbau der Formeln definiert.
Was ist grad(F) einer Formel F?
|
|
27.04.2008 18:27 |
|
|
newsys
Jungspund
Dabei seit: 04.11.2007
Beiträge: 15
|
|
Das weiß ich auch nicht. Das was ich in den Anfang geschrieben habe ist das einzige was ich darüber gefunden habe...
|
|
27.04.2008 18:32 |
|
|
Tobias
Routinier
Dabei seit: 18.09.2006
Beiträge: 324
|
|
Und wo hast du die Aufgabe dann her? Ist die vom Himmel gefallen? Du musst doch wenigstens wissen, um welche Formeln es sich handelt (Aussagenlogik, Prädikatenlogik, Arithmetische Formeln, ...)?
Und wie soll man ohne Definition von "grad" eine Induktion führen?
|
|
27.04.2008 18:53 |
|
|
newsys
Jungspund
Dabei seit: 04.11.2007
Beiträge: 15
|
|
Ok also Thema Aussagenlogik weiteres weiß ich wirklich nicht. Die komplette Aufgabe habe ich hingehschrieben...
|
|
27.04.2008 19:52 |
|
|
Tobias
Routinier
Dabei seit: 18.09.2006
Beiträge: 324
|
|
Also irgendwie nehme ich dir das nicht ab. Immerhin hast du hier:
Zitat: |
|
schon grad(A) = 0 aufgeschrieben. Wo hast du das denn her?
Noch meinem Kenntnisstand kann man grad auch durch Bratwurst oder Pommes ersetzen. Beweis mal:
Bratwurst(F) <= |F|
|
|
28.04.2008 13:25 |
|
|
|