WikiDiscuss

Jorge Llamb��)B�as scripsit:

> "IF ... THEN ..." can hardly be {ga nai ... gi ... }.
> If a=1 is false we don't want to let the computer to
> set b = 0 if it pleases, which {ganai ... gi ...}
> presumably would. So the "if" of programming languages,
> if it can be compared to a logical connective given the
> modalities involved, would have to be iff, {go ... gi ...}.

What's more, it's a conditional imperative.

Prolog's if (spelled "-:") is an exception: it's anai.

--
John Cowan jcowan@reutershealth.com www.reutershealth.com www.ccil.org/~cowan
No man is an island, entire of itself; every man is a piece of the
continent, a part of the main. If a clod be washed away by the sea,
Europe is the less, as well as if a promontory were, as well as if a
manor of thy friends or of thine own were: any man's death diminishes me,
because I am involved in mankind, and therefore never send to know for
whom the bell tolls; it tolls for thee. --John Donne