Re: circular relationships ok?
From: David Cressey <dcressey_at_verizon.net>
Date: Sat, 04 Mar 2006 15:41:54 GMT
Message-ID: <6ziOf.454$6h1.185_at_trndny09>
Date: Sat, 04 Mar 2006 15:41:54 GMT
Message-ID: <6ziOf.454$6h1.185_at_trndny09>
"JOG" <jog_at_cs.nott.ac.uk> wrote in message
news:1141480471.362482.59010_at_e56g2000cwe.googlegroups.com...
> David Cressey wrote:
> [snip]
> >
> > I think "A implies B" is the same as "B or not A".
> >
>
> ? By "A implies B", he surely just means "if A then B". Or using
> standard predicate logic notation "A -> B."
I don't get it. How is "A -> B" different from "B^~A" ?
>
Received on Sat Mar 04 2006 - 16:41:54 CET