Gesetze von De Morgan (Mengenlehre)

Entwurf für ikonischen Beweis:

dm

de_Morgan_1_links de_Morgan_1_rechts

Programmcode:
Beweis erstes Gesetz von de Morgan (PDF-Merkblatt)

H:{1,2,3,4};
A:{2,3};
B:{3,4};
V:union(A,B);
D_H_V:setdifference(H,V);
L1:setdifference(H,union(A,B));
D_H_A:setdifference(H,A);
D_H_B:setdifference(H,B);
R1:intersect(D_H_A,D_H_B);
is(L1=R1);

Maxima Online: http://maxima-online.org/?inc=r-397989842