Pseudotransivität

Mariexshx

Fleissiger Benutzer
Beiträge
57
Ich muss die Pseudotransitivität beweisen mit einer Tupelschreibweise meine Idee wäre: Ziel: A->B, KB->H daraus folgt KA->H

Annahme 1. A->B
2. KB->H

Demzufolge für zwei beliebige tupeö t1,t2 element (R) mit t1(A) =t2(A)
3. t1(B) =t2(B) wegen 1.
4. t1(KB) = t2(KB)
5. t1(H) =t2(H) wegen 2. und 4.
Aber daraus kann ich nicht KA->H schließen
Kann mir jemand weiterhelfen ?
Danke im vorraus :)
 
Werbung:
Zurück
Oben