ana.words, groesser, binaer, unerfuellbar

ana.words, groesser, binaer, unerfuellbar
20. Dezember 2012 tbz
In Allgemein
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...

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

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