Ableitbare Regel < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Sei [mm] (\exists\forall) [/mm] die Regel
[mm] \bruch{}{\Gamma \exists x\phi \forall x\phi} [/mm] .
Entscheidet, ob [mm] (\exists\forall) [/mm] eine ableitbare Regel ist.
(Aufgabe IV, 7.8(a) in "Ebbinghaus, Flum, Thomas: Mathematical logic") |
Hallo Alle
Hat jemand bitte eine Idee zu dieser Aufgabe?
Ich weiss schon, dass ich untersuchen muss, ob man die obenstehende Regel aus den Regeln des Sequenzenkalküls irgendwie bekommen kann. Aber genau wie und welche Regeln?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:35 Mi 08.10.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
