WINAK

Posted: **Sat Nov 25, 2006 6:59 pm**

Oefening 4.6:

Hoe "disprove" je puntje d) en e) van oefening 4.6? (Want ik denk niet dat ze waar zijn)

$d) XY \to Z, Y \to W \Rightarrow XW \to Z \\ e) X \to Z, Y \to Z \Rightarrow X \to Y$

(opgave)

Posted: **Sun Nov 26, 2006 11:57 am**

je neemt twee tupels die deel kunnen zijn van je relatie en je creeert een contradictie

d)

$ab \rightarrow e,\; b \rightarrow a \;\Rightarrow\; aa \rightarrow e\\ ad \rightarrow f,\; d \rightarrow a \;\Rightarrow\; aa \rightarrow f$

dus contradictie

[edit(Robbe): TeXified]

WINAK

[DB] Theoretische Oefeningen, Reeks 4

[DB] Theoretische Oefeningen, Reeks 4