[lojban] Re: jimpe - logic

[Jens-Wolfhard Schicke <jens.schicke@hvf-bs.net>]

On Fri, Jul 30, 2004 at 11:17:27AM -0400, MorphemeAddict@wmconnect.com wrote:
> That is *so* cool.  But is the logic in the first example (section 4.1) 
> valid?  It seems to be deducing a premise from a consequence, which I've always 
> thought was a big no-no.  And then  "artificial" in the title.  

A   B   "If A then B."
f   f   t
f   t   t
t   f   f
t   t   t

So if we assume that "If A then B" is true, as jimpe does, the fact that
B is false leaves only the possiblity of A being false likewise...

One could however not deduce from the fact that B is true the fact that
A is also true...