Hermi
bio-brainfuckinterpreter
Wenn du es nicht weiter einengen kannst, dann kann ich dazu nichts sagen.
Allerdings gilt (Achtung, Mathe!)
A teil von B ===
für alle x gilt: (x element von A => x element von b)
nach Allquantor-Umformung ergibt sich daraus
Es gibt kein x, für das gilt: NICHT (x element von A => x Element von B)
=>-Umformung ist
es gibt kein x, für das gilt: NICHT (NICHT (x element von A) oder (x element von B))
deMorgan-Umformung ergibt
es gibt kein X, für das gilt: NICHT(NICHT(x Element von A)) und NICHT (x element von B)
NICHT-Eleminiation ergibt
es gibt kein X, für das gilt: x element von a und NICHT (x element von b)
Also:
Es gibt kein X, das Element von A und, und nicht Element von B ist (qed).
Allerdings gilt (Achtung, Mathe!)
A teil von B ===
für alle x gilt: (x element von A => x element von b)
nach Allquantor-Umformung ergibt sich daraus
Es gibt kein x, für das gilt: NICHT (x element von A => x Element von B)
=>-Umformung ist
es gibt kein x, für das gilt: NICHT (NICHT (x element von A) oder (x element von B))
deMorgan-Umformung ergibt
es gibt kein X, für das gilt: NICHT(NICHT(x Element von A)) und NICHT (x element von B)
NICHT-Eleminiation ergibt
es gibt kein X, für das gilt: x element von a und NICHT (x element von b)
Also:
Es gibt kein X, das Element von A und, und nicht Element von B ist (qed).