Re: Leibniz Semantics

From: rwas rwas <mc68332.domain.name.hidden>
Date: Wed, 28 Mar 2001 17:42:38 -0800 (PST)

 So are you saying the <if> operator associates a set
 with a particular state with something else?
 
 ie.,
 
  1. (set) = n <asigned to> k...
  2. (set) <if> k = n ?
 
 Robert Wasierski
 
 
> --- George Levy <GLevy.domain.name.hidden> wrote:
> > So far so good
> >
> > Marchal wrote:
> >
> > > rwas rwas wrote:
> > >
> > > >IF:
> > > > AB:C
> > > > 11 1
> > > > 10 0
> > > > 01 1
> > > > 00 1
> > > >
> > > >Can someone explain the "IF" table?
> >
> > Ok. it could be defined that way.... but this
> allows
> > weird results to be
> > obtained..... It may be safer to define it as
> >
> >
> > IF:
> > AB:C
> > 11 1
> > 10 0
> > 01 x
> > 00 x
> >
> > where x is undefined
> >
> > >
> > >
> > > (2 = 1) -> Russell is the pope
> > >
> > >
> > > The correct answer should have been:
> > >
> > > (2=1) is false, so (2=1) -> X, is always true,
> as
> > you
> > > can seen in the truth table of "IF".
> > >
> > > A->B means really nothing
> > > more that A is false OR B is true.
> > >
> >
> >
> >
> > George
> >
>
>
> __________________________________________________
> Do You Yahoo!?
> Get email at your own domain with Yahoo! Mail.
> http://personal.mail.yahoo.com/?.refer=text
>


__________________________________________________
Do You Yahoo!?
Get email at your own domain with Yahoo! Mail.
http://personal.mail.yahoo.com/?.refer=text
Received on Wed Mar 28 2001 - 17:46:45 PST

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