Re: circular relationships ok?

"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 - 09:41:54 CST