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

Über Johnny Weilharter

Direktor i. R. der Bundeshandelsakademie und Bundeshandelssschule in Tamsweg, Österreich
Dieser Beitrag wurde unter BOOLESCHE ALGEBRA, Creative Commons, GRAFIK abgelegt und mit , verschlagwortet. Setze ein Lesezeichen auf den Permalink.

Kommentar verfassen

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

WordPress.com-Logo

Du kommentierst mit Deinem WordPress.com-Konto. Abmelden / Ändern )

Twitter-Bild

Du kommentierst mit Deinem Twitter-Konto. Abmelden / Ändern )

Facebook-Foto

Du kommentierst mit Deinem Facebook-Konto. Abmelden / Ändern )

Google+ Foto

Du kommentierst mit Deinem Google+-Konto. Abmelden / Ändern )

Verbinde mit %s