> ============================== CFJ 2073 ============================== > > 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.
I rule TRUE. I take the English "Either... or" construct to be the equivalent of logical XOR. The sky is neither always red nor always green. "the sky is always red" evaluates to FALSE, and "if I do not hereby initiate an inquiry case on this sentence, then the sky is always green" evaluates to TRUE (X -> F == T for all X), making the statement reduce to F XOR T == T. --Wooble
