Logic: "XOR" or "OR"

Asked Oct 26 '21 at 09:02

Active Oct 26 '21 at 09:02

Viewed 75 times

The statement: Either ~p or it is the case that $(q\land r)$.

This seems to me to indicate: $\lnot p\lor(q\land r)$. Am I correct?

How would you in words describe the XOR relationship?

And is this the correct representation of the XOR relationship?: $$ \lnot [\lnot p\land (q\land r)]\land [\lnot p\lor (q\land r))]$$

asked Oct 26 '21 at 09:02

Erik Eriksson

Propositional logic usually uses "OR": $\lor$. – Mauro ALLEGRANZA Oct 26 '21 at 09:07
Exclusive disjunction can obviously defined in terms of other connectives. – Mauro ALLEGRANZA Oct 26 '21 at 09:08
Yes, it's a correct representation for the XOR version. – Berci Oct 26 '21 at 09:13
1

How would you in words describe the XOR relationship? Is "either but not both" acceptable? – ryang Oct 26 '21 at 14:45
@ryang Yes. I guess it was a very open question. I think I foresaw some complicated syntax that I'd have to interpret. But I guess it doesn't need to be complicated. Thank you. – Erik Eriksson Oct 26 '21 at 15:41
1

I would say @ryang's comment to this is the answer. Quick and simple. – user110391 Nov 09 '21 at 08:36

0 Answers0