Ü14-5: Entfernen eines Fakts – Wissenschaftstheorie

Seien $R^*_1$ und $R^*_2$ Relationen aus einer Faktensammlung z = 〈 { a₁, a₂, c₁, d₂, d₃, … }, { b₁, b₂, … }, …, $R^*_1$ , $R^*_2$ , …〉
und die Sachverhalte aus $R^*_1$ und $R^*_2$ stellen sich wie folgt dar:
$R^*_1$ = { $R^*_1$ ( a₁, b₁ ), $R^*_1$ ( a₁, b₂ ), $R^*_1$ ( a₂, b₁ ), $R^*_1$ ( a₂, b₂ ), … },
$R^*_2$ = { $R^*_2$ ( c₁, a₁ ), $R^*_2$ ( a₁, d₂ ), $R^*_1$ ( a₂, d₃ ), $R^*_1$ ( c₂, a₁ ), … }.

a) Entfernen Sie aus der Faktensammlung z das Faktum a₁. Wie sieht die neue Faktensammlung genau aus?

b) Wie sieht die veränderte Relation $R^*_2$ aus, wenn Sie in z das Faktum a₂ entfernen?