ana.words, groesser, binaer, unerfuellbar

zu gestern schrieb crijke:

Ha, guter Trick! Aber anders siehts aus, wenn man G nicht als boolesche Variable definiert:

Dann kann man sagen P ist wahr für alle Werte von G < g_p und D ist wahr für alle Werte von G > g_d.

Was sie sagen ist dann X = P and D = (G < g_p) and (G > g_d), also (g_d < G < g_p)

Ihre Grösse liegt also laut ihren Aussagen zwischen g_d und g_p und es gilt g_d < g_p. Das kann ja schon sein..

Wenn G binär ist, also G = [0,1] dann ist (wegen g_d < g_p) g_d = 0 und g_p = 1. Für diese Definition von G ist X tatsächlich unerfüllbar: 0 < 0 < 1 ist false und 0 < 1 < 1 auch....


uff!
und das kurz vor weltende...


http://ana.ch/words/archive/?id=5995



-- = -- -- = -- -- = --

a n a . w o r d s
aus dem hellblauen salon

words@ana.ch
http://ana.ch/words/
ana.txt seite 444

reicht ana.words weiter!

vragen & kommentare & texte, die
ihr davon findet, sie seien es wert,
dass es die ganze welt erfaehrt, oder
mindestens die redaktion, dann
mailto:words@ana.ch

du willst auch? immer mehr?
dann abonnier auch du ana.words:
http://ana.ch/txt/444