Coming soon - Get a detailed view of why an account is flagged as spam!
view details

This post has been de-listed

It is no longer included in search results and normal feeds (front page, hot posts, subreddit posts, etc). It remains visible only via the author's post history.

1
Is this a bidirectional statement in Predicate Logic?
Post Body

I can't understand this explanation for the following.

"Example (29): British citizens can only vote in the Brexit referendum.

(29) however means not only that being a British citizen entitles one to vote in the Brexit referendum, but also that being a British citizen only entitles one to vote in the Brexit referendum but not in any other elections. So the subject matter is not British citizens but the elections in which a British citizen can vote. Let E = being an election in which a British citizen can vote, R = being the Brexit referendum, the variable x then denotes an election, rather than a person.

(29’) ∀x[(Ex → Rx) & (Rx → Ex)], which is equivalent to ∀x(Ex ↔ Rx)"

The proposition just explains that British people can't vote anywhere else but the Brexit referendum. But that doesn't necessarily mean that if there is a Brexit Referendum it is necessarily going to be British citizens who can only vote(and thus only an election in which a British citizen can vote) in which case why is If R then E correct?

Using another example

"Scientists are only clever". "If Scientists then clever" would be true but it wouldn't be "If Clever then scientist"

Author
Account Strength
80%
Account Age
6 years
Verified Email
Yes
Verified Flair
No
Total Karma
215
Link Karma
189
Comment Karma
26
Profile updated: 1 day ago

Subreddit

Post Details

We try to extract some basic information from the post title. This is not always successful or accurate, please use your best judgement and compare these values to the post title and body for confirmation.
Posted
5 months ago