Folgerungshülle < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 21:54 Di 28.11.2006 | | Autor: | Bebe |
| Aufgabe | Weisen Sie die folgenden Eigenschaften i), ii) und iii), die die Folgerungshülle Fl(X):= {G / G ist Formel und X/= G} als Hüllenoperator charakterisieren, nach:
i) [mm] X\subseteq [/mm] Fl(X)
ii) [mm] X\subseteq [/mm] Y [mm] \to Fl(X)\subseteq [/mm] Fl(Y)
iii) Fl(Fl(X)) = Fl(X) |
Hallo, stehe gerade vor dieser Übungsaufgabe. Habe leider aber überhaupt keinen Ansatz, wie ich das nachweisen soll. Wäre super, wenn ihr mir helfen könntet. Danke
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:20 Do 30.11.2006 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
