Ersetzungsregel < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 16:44 Sa 31.10.2009 | | Autor: | mariluz |
| Aufgabe | Die Ersetzungsregel besagt
phi<->psi/xsi(phi)<->xsi(psi/phi)
wobei xsi(psi/phi) eine Formel ist, die aus der Formel durch Ersetzen beliebig vieler der Vorkommen der Teilformel phi in xsi(phi) durch die Formel psi entsteht.
Zeigen Sie die Korrektheit der Regel durch Induktion nach dem Aufbau von xsi. Charakterisieren
Sie hierzu zunächst induktiv die möglichen Gestalten von xsi(psi/phi). |
Ich habe diese Frage in keinem anderen Forum gestellt.
Ich freue mich auf alle möglichen Hinweise zu folgendem Aufgabe.
Ich weiss,dass ich eine Fallunterscheidung führen soll:
1.Fall: xsi äq phi
2.Fall: xsi nicht äq phi
Wie sehen die verschiedene Fälle beim 1.bzw.2. Fall aus?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:20 Di 03.11.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
