Entwurf für ikonischen Beweis:
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