Frage Bsp. 5

[patricasso]

Hallo! wie kommt man beim 5-ten bsp von A kongruent zu nicht D und im nächsten schritt kommt man auf A impliziert nicht D und A ist Teilmenge von nicht D! kenn mi jetzt überhaupt mehr ned aus!
bitte um hilfeeeeeeeeeeee!!!!!!!!!!!!!!:ahhh:

[nexxyz]

weil die umformungsregeln AFAIK so im skriptum sind. kannst aber auch gleich das A#nonB auflösen..kommt aufs gleiche raus, glaub ich.