Database Reference
In-Depth Information
J
6
+
+
J
3
+
F
−
J
2
P
P
−
+
+
G
J
4
J
1
n
⊥
V
+
J
8
H
+
−
J
5
A
A
−
+
N
+
J
7
+
J
9
Abbildung 7.7
Netzwerk zu Bibliotheksausleihe (Selbsttestaufgabe 7.27)
3.BestimmenSieeinzulassiges Modell M bzgl.
. Geben Sie eine mogliche
Fundierungs-Ordnung der Elemente von M an und zu jedem Element eine
stutzende Begrundung.
4. Bestimmen Sie zu jedem Knoten n von
T
(n), Supp(n), Supp
∗
(n),
Ant(n), Ant
∗
(n), Cons(n), ACons(n), ACons
∗
(n)sowiediestutzende Be-
grundung SJ(n).
5. Die Pramisse H werde hinzugefugt. Bestimmen Sie mit Hilfe des TMS-
Verfahrens ein neues zulassiges Modell.
6. Durch Einfuhren einer Begrundung der Form
T
die Mengen
J
wird gewahrleistet,
dass der Knoten X in jedem existierenden Modell enthalten ist. Kann man in
ahnlicher Weise erzwingen, dass ein Knoten in
keinem
Modell enthalten ist?
∅|∅ →
X
