Ha az fdcheck lefut, akkor az indexikalisok
szemantikaja jo, tehat az
eltero viselkedes valoszinuleg abbol fakad, hogy az X-re felirt kifejezes
nem antimonoton. Nezd meg ebbol a szempontbol.
Igen, az antimonotonitással volt baj, valahogy nem vettem észre...
> A
következõ mûveletekrõl van szó:
> 1. (((8..sup) /\ 8..9) ? (inf..sup)) \/ (8..sup)
> 2. (((8..sup) /\ 9) ? (inf..sup)) \/ (8..sup)
Igen, bar a 2. sorban a 9 gyanus, talan {9} kellene. Amugy tenyleg azonos
eredmenyt adnak. De ha az fdcheck nem jelez hibat, akkor nem is a
tartománykifejezes kiertekelese korul, hanem az antimonotonitas korul van
a
baj, arrol meg ez a ket sor nem ad infot.
Igen az ott {9}, csak az egyszerűség kedvéért hagytam el.
Krisztián