I have a doubt on constructing English statements from propositions. I went through three exercises and every time I faced the same situation I can not solve the proposition properly
- Let p and q be the propositions
p : I bought a lottery ticket this week.
q : I won the million dollar jackpot.
I have to find the English translation ¬p ∨ (p ∧ q)
My answer is: I did not buy a lottery ticket this week or I bought the lottery ticket this week and I won the million dollar jackpot.
I found on the web that they used either, "Either I didn't buy a lottery ticket this week, or I did and I won the million dollar jackpot."
I did not understand what is the need for using exclusive or instead of inclusive or?
Then I tried another exercise
- Let p and q be the propositions “Swimming at the New Jersey shore is allowed” and “Sharks have been spotted near the shore,” respectively.
compound proposition is ¬p ∧ (p∨ ¬q)
My answer is : Swimming at the New Jersey shore is not allowed and swimming at the New Jersey shore is allowed or sharks have not been spotted near the shore.
I found on the web: Swimming at the New Jersey shore is not allowed and either swimming at the New Jersey shore is allowed or sharks have not been spotted near the shore.
Here again, people used exclusive or instead of inclusive or.
Then I went though the third example,
- Let p and q be the propositions “The election is decided” and “The votes have been counted,” respectively.
The compound proposition is ¬q ∨ (¬p ∧ q)
Now, I used exclusive or after seeing so many examples.
My answer is: Either the votes have not been counted or the election is not decided and the votes have been counted.
This time I found on the Web two variations
The votes have not been counted, or they have been counted but the election is not(yet) decided.
The votes have not been counted, or the votes have been counted but the election is not decided.
My confusion is when to use exclusive or and when to use inclusive or?
Thank you.
The problem with this phrasing is that it is unclear how you are supposed to associate it.
If I say "P or Q and R", it is not clear if I mean "P, or else Q and R", or if I mean "P or Q, and in addition to that also R". That is, whether I mean to say $(P\vee Q)\wedge R$ or $P\vee(Q\wedge R)$.
The answer you found on the web eliminates the ambiguity with the use of "either" and the comma. By writing
This is not a matter of exclusive vs. inclusive or, but rather of signaling which ones are the clauses of the "or" and which ones are the clauses of the "are". In this particular case, because the two clauses are mutually incompatible, you can express it in natural language with an exclusive or, making it easier to signal the start and end of the clauses in natural language. If instead we had $P\vee (Q\wedge R)$, we would want to say something like "P, or we have both Q and R" with the comma and "both" signaling the clauses.
The examples you have are using exclusive or in natural language because the exclusivity is implied by the specifics (one clause has $\neg p$, the other one has $p$). They take advantage of that in order to clarify how to signal the clauses. But you don't have to use an "exclusive or" phrasing to distinguish them. You could have said
Here the comma does the work of letting you know what are the clauses.
Again, compare the first two below, which are clear and mean different things, and the third, which is ambiguous and unclear: