Re: circular relationships ok?

From: JOG <jog_at_cs.nott.ac.uk>
Date: 4 Mar 2006 05:54:31 -0800
Message-ID: <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." Received on Sat Mar 04 2006 - 14:54:31 CET

Original text of this message