# Re: Leibniz Semantics

I was'nt aware "if" was a diadic operator.

My boolean interpretation of what's been presented:

OR:

AB:C
00 0
01 1
10 1
11 1

IF:
AB:C
11 1
10 0
01 1
00 1

Can someone explain the "IF" table?

Robert W.
--- "Scott D. Yelich" <[EMAIL PROTECTED]> wrote:
> On Tue, 27 Mar 2001 [EMAIL PROTECTED] wrote:
> > > >>                   A v B     A -> B
> > > >>                   1 1 1     1 1 1
> > > >>                   1 1 0     1 0 0
> > > >>                   0 1 1     0 1 1
> > > >>                   0 0 0     0 1 0
> >
> > Just to help you guys out, the notation used here
> puts the 'result'
> > operation in the middle column.  The first column
> is A, the last column
> > is B, and the middle column holds "A or B" in the
> first table and "if A
> > then B" in the second table.  This is different
> than how I have usually
> > seen it displayed, where the result operation is
> in the rightmost column.
> > That accounts for part of the confusion.
> >
>
>
> *sigh*
>
> I was thinking... to myself:  MAN!  I'm really worse
> at
> this than I thought...
>
> since I couldn't figure out the rule to make the
> matrix
> work!
>
> sheesh.
>
> Scott
>
>

__________________________________________________
Do You Yahoo!?
Get email at your own domain with Yahoo! Mail.
http://personal.mail.yahoo.com/?.refer=text