Beefy Boxes and Bandwidth Generously Provided by pair Networks
Perl Monk, Perl Meditation
 
PerlMonks  

Re^4: A "but" operator.

by Plankton (Priest)
on Sep 27, 2004 at 20:30 UTC ( #394340=note: print w/ replies, xml ) Need Help??


in reply to Re^3: A "but" operator.
in thread A "but" operator.

I think you are trying to say a "but" operator is equivalent "not and" operator and that !(A->B) is equivalent to "but". I am assuming that "!" symbolizes the negation operator and "->" symbolized the if-then ( or implies ) operator.

Yet ...
PQP->Q
TTT
TFF
FTT
FFT

PQP and Q!(P and Q)
TTTF
TFFT
FTFT
FFFT
So I would say "A and !B"is not equivalent to "!(A -> B)" and I wouldn't say "A but B" <=> "A and !B", but I could just be misunderstanding your notation. :)

As far a what a but operator is I would say it should be equivalent to the "Boolean And" operator. And is not needed in a programming language. The word "but" is used in commonly to emphasis that an assumption is false. Example ...

If a student where to errorously assume that multiplaction is 
the same as addition the student might state ...


1 + 1 = 2 and 2 + 2 = 4 and 2 * 2 = 4 and 1 * 1 = 2


... which we know to be false.  The student's teacher would say ...


1 + 1 = 2 and 2 + 2 = 4 and 2 * 2 = 4 but 1 * 1 != 2


... to correct the student.


This is the same as


1 + 1 = 2 and 2 + 2 = 4 and 2 * 2 = 4 and 1 * 1 != 2


    T and T and T and T is TRUE


It is not equal to


1 + 1 = 2 and 2 + 2 = 4 and 2 * 2 = 4 and not (1 * 1 != 2)



     T and T and T and F is FALSE

But merely gives emphasis to the fact that the student's assumption is false.

Janitored by davido: removed excess spaces within pre tags that caused horizontal scrolling.


Plankton: 1% Evil, 99% Hot Gas.


Comment on Re^4: A "but" operator.
Replies are listed 'Best First'.
Re^5: A "but" operator.
by dragonchild (Archbishop) on Sep 27, 2004 at 22:22 UTC
    You forgot a couple ...
    P and not Q!(P -> Q)
    FF
    TT
    FF
    FF

    Hence, the relation holds.

    Being right, does not endow the right to be rude; politeness costs nothing.
    Being unknowing, is not the same as being stupid.
    Expressing a contrary opinion, whether to the individual or the group, is more often a sign of deeper thought than of cantankerous belligerence.
    Do not mistake your goals as the only goals; your opinion as the only opinion; your confidence as correctness. Saying you know better is not the same as explaining you know better.

    I shouldn't have to say this, but any code, unless otherwise stated, is untested

      Ahh! I see. I don't know why I was thinking you meant nand !(P and Q). I misunderstood your notation I guess.

      The student's teacher would say ...

      1 + 1 = 2 and 2 + 2 = 4 and 2 * 2 = 4 but 1 * 1 != 2

      ... which could be written as ...

      1 + 1 = 2 and 2 + 2 = 4 and 2 * 2 = 4 and not (1 * 1 = 2)

      I get it now.

      Plankton: 1% Evil, 99% Hot Gas.

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://394340]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others romping around the Monastery: (16)
As of 2015-07-07 20:10 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    The top three priorities of my open tasks are (in descending order of likelihood to be worked on) ...









    Results (93 votes), past polls