ProofWiki talk:CurrentUsers

Is the following using the inclusive or exclusive "or"?

Either P, or else Q. --User:Makeyourignorancework4u


 * Which do you want it to use?--prime mover 05:25, 27 September 2010 (UTC)


 * In the future, if you would ask questions on the Help:Questions page, that would be great. That said: inclusive or would be true if one of the following is true: P is true and Q is false, P is false and Q is true, P is true and Q is true.  Exclusive or would only be true if one of the following is true: P is true and Q is false, P is false and Q is true.  That is, exclusive is false if both P and Q are true.  See Inclusive (normal) Or and Definition:Exclusive Or. --Alec  (talk) 18:33, 27 September 2010 (UTC)


 * I don't know which one to use. If the statement read "Either P or Q", I would then use the inclusive or. But this would mean the "else" is redundant and adds no value? Turns out that for the particular argument based on this premise, the argument is valid either form...but that surely can't be the general case.