Worauf sollte man beim zweimaligen Werfen eines Würfels oder beim einmaligen Werfen von 
zwei Würfeln eher setzen:
a) das die Augensumme 9 ist oder
b) das die Augensumme 10 ist?

W:{1,2,3,4,5,6};

S:cartesian_product(W,W);

Günstige Fälle für Summe 9

G9:subset(S,lambda([e],is(e[1]+e[2]=9)));

Günstige Fälle für Summe 10

G10:subset(S,lambda([e],is(e[1]+e[2]=10)));

Berechnung und Vergleich der Wahrscheinlichkeiten

W[G9]:cardinality(G9)/cardinality(S);

W[G10]:cardinality(G10)/cardinality(S);

is(W[G9]>W[G10]);