A=>B,B gives you some extra information about A if B is discrete it would
seem....
At 09:12 PM 5/3/01, Jeff Bone wrote:
>John Hall wrote:
>
> > It is the first one that shocks me. A => B, A, means B
> >
> > As to the second, you can conclude nothing. Specifically, you have no
> > information about A.
> > A => B, B, no extra conclusions can be drawn.
>
>Well, I guess that depends on whether you count "A OR B" and other trivial
>logical statements derived from the givens as "conclusions." You certainly
>can't infer or deduce anything about the truth value of A from the
>second...
>
>jb
This archive was generated by hypermail 2b29 : Sun May 06 2001 - 08:04:38 PDT