Diskussion:Beweisarchiv: Mengenlehre: Mengenoperation: Distributivgesetz

Aus Wikibooks

Wechseln zu: Navigation, Suche

Ich war mutig und habe die "Kanonen-auf-Spatzen"-Beweise (mit charakteristischen Funktionen und Rechnen in \mathbb F_2) durchweg durch Verweise auf Prädikatenlogik ersetzt. IMHO sollte man für triviale Aussagen nur noch trivialere Mittel verwenden.--195.227.74.194 10:30, 29. Mai 2007 (CEST) Oops, ich meine--Hagman 10:31, 29. Mai 2007 (CEST)

Von „http://de.wikibooks.org/wiki/Diskussion:Beweisarchiv:_Mengenlehre:_Mengenoperation:_Distributivgesetz“
Persönliche Werkzeuge