From: gudeman@cs.arizona.edu (David Gudeman)
Subject: Re: a < b < c revisited
Date: 15 Apr 91 18:58:54 GMT [thread overview]
Message-ID: <1918@optima.cs.arizona.edu> (raw)
In article <3195@enea.se> Erland Sommarskog writes:
]
](4) IF a /= b /= c THEN
]
]But, wait, is that really the same thing? Well, with the definition
]above it is the same thing, but would we expect it to be the same
]thing? No. (3) is true if a = c, but we would expect (4) to say
]false in this case.
I wouldn't expect (4) to say false. Frankly, I wouldn't know what to
think of such an expression unless I had a clear definition like the
one you gave -- which strikes me as a perfectly sound one.
The definition
a <op1> b <op2> c ==> a <op1> b & b <op2> c
gives the correct meaning for transitive relations and a consistent
(but otherwise arbitrary) meaning for non-transitive relations. Since
I can't think of any non-arbitrary meaning for that construct for
non-transitive relations, I see no problem with the def above.
--
David Gudeman
gudeman@cs.arizona.edu
noao!arizona!gudeman
next reply other threads:[~1991-04-15 18:58 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1991-04-15 18:58 David Gudeman [this message]
-- strict thread matches above, loose matches on Subject: below --
1991-04-14 22:10 a < b < c revisited Erland Sommarskog
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox