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