WikiDiscuss

WikiDiscuss


baupla fuzykamni

posts: 1912


> I don't know how programming languages are
> working these days (it's been about a decade
> since I learned my latest one)

Me too.

> but in the old
> days IF was pretty generally a Boolean valued
> function would return True (though not do
> anything else) if the antecedent were false (and,
> if the antecedent were true, would make the
> consequent true — and return True). I have some
> trouble imagining anything else being called IF
> (as opposed to, say, IFF).

I have trouble imagining anything else being called
IF in a programming language, too, but that was not the
issue. The issue was, does that correspond to inaja?

When the antecedent is false, the consequent could also
be true and still satisfy {inaja}, but the computer
never does that.

> Your suggestion seems
> just perverse, since it amounts (apparently) to
> just an _un_conditional setting
> b = 0.

No, that would be {iseju}, which requires the second part
to be true no matter what the first part is.

{ijo} requires the conditional setting of b = 0 when the antecedent
is true and only then. It requires to not set b = 0 when the
antecedent is false. (Assuming that a command is "true" when it
is fulfilled and "false" when it is not fulfilled.)

mu'o mi'e xorxes


> --- Jorge Llambías <jjllambias2000@yahoo.com.ar>
> wrote:
>
> >
> > --- John E Clifford wrote:
> > > Well, I see the point, but going against a
> > couple
> > > thousand years of tradition — in logic and
> > > (though for a shorter time) programming
> > languages
> > > — militates against the change.
> >
> > I'm not sure about programming languages. For
> > example
> > in the instruction:
> >
> > IF a=1 THEN SET b = 0
> >
> > "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 ...}.
>



__
Do you Yahoo!?
Read only the mail you want - Yahoo! Mail SpamGuard.
http://promotions.yahoo.com/new_mail