On Sun, Jul 13, 2008 at 9:55 PM, Ben Caplan <[EMAIL PROTECTED]> wrote: > On Sunday 13 July 2008 10:45:42 pm ihope wrote: >> Either the sky is always red or, if I do not hereby initiate an >> inquiry case on this sentence, then the sky is always green. > > (R v (~I => G)) > > Since ~G, it follows that I (ihope127 does in fact call said CFJ). > Although ~R, (false v true) evaluates to true. > > TRUE.
Your reasoning appears circular. You have to assume the statement to be true before you can determine that I follows from ~G. -root