I think it became more confused now. With C and D unrelated, what do you care for (C XOR D)? For the same reason, you can’t now expect evidence for C to always be counter-evidence for D.
Whoops, I’m just learning the basics (some practise here). I took NOT Z as an independent proposition. I guess there is no simple way to express this if you do not assign the negotation of Z its own variable, in case you want it to be an indepedent proposition?
Z XOR ¬Z is always TRUE.
(I know what you mean, but it looks funny.)
Fixed it now (I hope), thanks.
I think it became more confused now. With C and D unrelated, what do you care for (C XOR D)? For the same reason, you can’t now expect evidence for C to always be counter-evidence for D.
Thanks for your patience and feedback, I updated it again. I hope it is now somewhat more clear what I’m trying to state.
Whoops, I’m just learning the basics (some practise here). I took NOT Z as an independent proposition. I guess there is no simple way to express this if you do not assign the negotation of Z its own variable, in case you want it to be an indepedent proposition?