Re: Leibniz Semantics

From: rwas rwas <mc68332.domain.name.hidden>
Date: Tue, 27 Mar 2001 17:24:29 -0800 (PST)

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" <scott.domain.name.hidden> wrote:
> On Tue, 27 Mar 2001 hal.domain.name.hidden 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
Received on Tue Mar 27 2001 - 17:29:51 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:07 PST